Normal view MARC view ISBD view

Tableau systems for first order number theory and certain higher order theories

Toledo, Sue

Tableau systems for first order number theory and certain higher order theories - Berlin Springer-Verlag 1975 - 339p. - Lecture notes in Mathematics 447 .

Dewey Class. No.: 512.7 / T649.TS

Place hold
Print
Send to device
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)