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
Published
Standard
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
Harvard
Dowsing, R, Rayward-Smith, VJ & Walter, CD 1986, A First Course in Formal Logic and its Applications in Computer Science. Blackwell Scientific Publications, Oxford.
APA
Dowsing, R., Rayward-Smith, V. J., & Walter, C. D. (1986). A First Course in Formal Logic and its Applications in Computer Science. Blackwell Scientific Publications, Oxford.
Vancouver
Dowsing R, Rayward-Smith VJ, Walter CD. A First Course in Formal Logic and its Applications in Computer Science. Blackwell Scientific Publications, Oxford, 1986.
Author
BibTeX
@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",
}
RIS
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 -