×
![]( "Buchcover ISBN 9783540374428")
Tableau Systems for First Order Number Theory and Certain Higher Order Theories
von S.A. ToledoInhaltsverzeichnis
- First order number theory.
- Second order logic.
- Other higher order systems due to Schütte.
Tableau Systems for First Order Number Theory and Certain Higher Order Theories von S.A. Toledo | ISBN 9783540374428
Tableau Systems for First Order Number Theory and Certain Higher Order Theories
von S.A. ToledoISBN-Daten
Digitalprodukt / E-Book
eBook, PDF
348 SeitenVerlag
Springer BerlinAutor
S.A. Toledoerschienen am
15.11.2006Sprache
EnglischRubrik
MathematikISBN-10
3-540-37442-6978-3-540-37442-8
Reihe
Lecture Notes in Mathematics 447Lieferstatus
verfügbarPreis (UVP)
36,99 €*Lokal-Verfügbarkeit
ca. 15 km um Moreno Valley
**Mit der Eingabe/Ermittlung der Standortdaten willigen Sie der Datenverarbeitung gemäß unserer Datenschutzerklärung ein.
Lokalverfügbarkeit (Karte)