Normal view MARC view ISBD view

Logic : a foundation for computer science

004
SPE

39176

Sperschneider, V. Logic : a foundation for computer science / by V. Sperschneider and G. Antoniou. - na. - Wokingham : Addison, c1991
xii,495p. . - (International computer science series ) 0-201-56514-5 * Artificial intelligence Computer science Modules Proof theory: Model theory * Antoniou, G. * Title * Series

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)