A First Course in Formal Logic and its Applications in Computer Science. / Dowsing, R.; Rayward-Smith, V. J.; Walter, C. D.
Blackwell Scientific Publications, Oxford, 1986.Research output: Book/Report › Book
A First Course in Formal Logic and its Applications in Computer Science. / Dowsing, R.; Rayward-Smith, V. J.; Walter, C. D.
Blackwell Scientific Publications, Oxford, 1986.Research output: Book/Report › Book
}
TY - BOOK
T1 - A First Course in Formal Logic and its Applications in Computer Science
AU - Dowsing, R.
AU - Rayward-Smith, V. J.
AU - Walter, C. D.
N1 - (265pp + vi)
PY - 1986
Y1 - 1986
M3 - Book
SN - 978-0632013081
BT - A First Course in Formal Logic and its Applications in Computer Science
PB - Blackwell Scientific Publications, Oxford
ER -