Verwandte Artikel zu Metamathematical Investigation of Intuitionistic Arithmetic...

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis: 344 (Lecture Notes in Mathematics)

0 durchschnittliche Bewertung
( 0 Bewertungen bei Goodreads )
 
9783540064916: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis: 344 (Lecture Notes in Mathematics)
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
 
 

Versand: EUR 28,99
Von Deutschland nach USA

Versandziele, Kosten & Dauer

In den Warenkorb

Beste Suchergebnisse beim ZVAB

Foto des Verkäufers

Anne S. Troelstra
Verlag: Springer Berlin Heidelberg (1973)
ISBN 10: 3540064915 ISBN 13: 9783540064916
Neu Taschenbuch Anzahl: 1
Anbieter:
AHA-BUCH GmbH
(Einbeck, Deutschland)
Bewertung

Buchbeschreibung Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware -Intuitionistic formal systems.- Models and computability.- Realizability and functional interpretations.- Normalization theorems for systems of natural deduction.- Applications of Kripke models.- Iterated inductive definitions, trees and ordinals.- Erratum. 504 pp. Englisch. Artikel-Nr. 9783540064916

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 60,98
Währung umrechnen

In den Warenkorb

Versand: EUR 28,99
Von Deutschland nach USA
Versandziele, Kosten & Dauer