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/ReportBook

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/ReportBook

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

Dowsing, R. ; Rayward-Smith, V. J. ; Walter, C. D. / A First Course in Formal Logic and its Applications in Computer Science. Blackwell Scientific Publications, Oxford, 1986.

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 -