A First Course in Formal Logic and its Applications in Computer Science

R. Dowsing, V. J. Rayward-Smith, C. D. Walter

Research output: Book/Report › Book

Original language	Undefined/Unknown
Publisher	Blackwell Scientific Publications, Oxford
ISBN (Print)	978-0632013081
Publication status	Published - 1986

Cite this

@book{0224c8b991864413936d80f63031879b,

title = "A First Course in Formal Logic and its Applications in Computer Science",

author = "R. Dowsing and Rayward-Smith, \{V. J.\} and Walter, \{C. D.\}",

note = "(265pp + vi)",

year = "1986",

language = "Undefined/Unknown",

isbn = "978-0632013081",

publisher = "Blackwell Scientific Publications, Oxford",

}