S. A. Toledo

Tableau Systems for First Order Number Theory and Certain Higher Order Theories

• Broschiertes Buch

Produktbeschreibung

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

Produktdetails

• Lecture Notes in Mathematics 447
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-07149-5
• 1975
• Seitenzahl: 352
• Erscheinungstermin: 14. April 1975
• Englisch
• Abmessung: 235mm x 155mm x 20mm
• Gewicht: 566g
• ISBN-13: 9783540071495
• ISBN-10: 3540071490
• Artikelnr.: 23562083

Inhaltsangabe

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