Normal view MARC view ISBD view

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

511.3
T649T Toledo, Sue
Tableau systems for first order number theory and certain higher order theories
-- Berlin : Springer-Verlag , 1975
187850 339p.

Proof theory
Numbers, Theory of

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)