Normal view MARC view ISBD view

Algebra of proofs /

Szabo, M E

Algebra of proofs / by M E Szabo. - Amsterdam: North Holland, 1978. - 297p. - Studies in logic and foundations of mathematics; Vol.88 .

ISBN: 0720422868

Subjects--Topical Terms:
Proof theory
Categories, Mathematics
Combinatory logic.

Dewey Class. No.: 511.3 / SZA

Print
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)