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

Name: Tableau Systems for First Order Number Theory and Certain Higher Order Theories
Brand: Springer
Price: 37.4 EUR
Availability: BackOrder

S.A. Toledo(Autor*in)

Springer (Verlag)

Erschienen am 14. April 1975

Buch

Softcover

IV, 348 Seiten

978-3-540-07149-5 (ISBN)

37,40 €inkl. 7% MwSt.

Versand in 10-15 Tagen

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Als PDF speichern Als Link merken