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 [electronic resource] / by Sue Toledo. - IV, 348 p. online resource. - Lecture Notes in Mathematics, 447 0075-8434 ; . - Lecture Notes in Mathematics, 447 .

First order number theory -- Second order logic -- Other higher order systems due to Schütte.

ISBN: 9783540374428

Standard No.: 10.1007/BFb0062936 doi

Subjects--Topical Terms:
Mathematics.
Mathematics, general.

LC Class. No.: QA1-939

Dewey Class. No.: 510

Print
Add to your cart (remove)
Suggest for purchase
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)