Normal view MARC view ISBD view

Handbook of logic and proof techniques for compuetr science

Krantz, Steven G

Handbook of logic and proof techniques for compuetr science - New York: Springer, 2002 - xix, 245p.

ISBN: 9780817642204

Subjects--Topical Terms:
compuetr science
Mathematical Logic

Dewey Class. No.: 004.1015 KRA

Place hold
Print
Cite
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 ISBD
More searches

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

LIBRARY AND KNOWLEDGE RESOURCE CENTER (LKRC)

Your Gateway to Knowledge

Handbook of logic and proof techniques for compuetr science