Normal view MARC view ISBD view

Proof, logic, and formalization /

Proof, logic, and formalization / edited by Michael Detlefsen. - London ; New York : Routledge, 1992. - 241 p. : ill.

HKBU library

YT2025 M10

ISBN: 0415023351 9780415023351

Subjects--Topical Terms:
Proof theory.
Logic, Symbolic and mathematical.

LC Class. No.: QA9 / P962 1991

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)

Proof, logic, and formalization /

SDU Library

One World Library (OWL)