Studies in Constructive Mathematics and Mathematical Logic: Part I (Seminars in mathematics, 4) - Hardcover

 
9780306188046: Studies in Constructive Mathematics and Mathematical Logic: Part I (Seminars in mathematics, 4)
Hardcover
ISBN 10: 030618804X ISBN 13: 9780306188046
Verlag: Springer, 1995

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

Herbrand's Theorem for Prenex Formulas of Constructive Predicate Calculus .. 47 G. E. Mints Variation in the Deduction Search Tactics in Sequential Calculus . . . . . . . . . . . . . . . . .. . . 52 . . . G. E. Mints Imbedding Operations Associated with Kripke's "Semantics" . . . . . . . . . . . . . . . . . . .. . . 60 . . . .

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
1995
Sprache
Englisch
ISBN 10 
030618804X
ISBN 13 
9780306188046
Einband
Gebundene Ausgabe
Anzahl der Seiten
96
Herausgeber
Slisenko A. O.
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9781489956323: Studies in Constructive Mathematics and Mathematical Logic: Part 1 (Seminars in mathematics)

Vorgestellte Ausgabe

ISBN 10:  1489956328 ISBN 13:  9781489956323
Verlag: Springer, 2014
Softcover