Gesamtpreis (1 Artikel Artikel):
Versandziel:
proof theory intuitionistic systems von scarpellini bruno (14 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (14)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (10)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (1)
- Gut oder Befriedigend (1)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (2)
Einband
- alle Einbände
- Hardcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Softcover (14)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (8)
- Keine Print-on-Demand Angebote (12)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Proof Theory and Intuitionistic Systems. Lecture Notes in Mathematics; 212.
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 9,44
Währung umrechnenEUR 16,00 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. C-05004 354005541X Sprache: Englisch Gewicht in Gramm: 550.
-
Proof Theory and Intuitionistic Systems Lecture Notes in Mathematics, vol. 212
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 18,95
Währung umrechnenEUR 12,95 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbBroschiert. Zustand: Gut. 290 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 565.
-
Proof Theory and Intuitionistic Systems
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 58,03
Währung umrechnenEUR 2,26 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
-
Proof Theory and Intuitionistic Systems (Paperback)
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1971
ISBN 10: 354005541X ISBN 13: 9783540055419
Sprache: Englisch
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 60,36
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 56,94
Währung umrechnenEUR 3,41 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 47,50
Währung umrechnenEUR 13,77 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Proof Theory and Intuitionistic Systems
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 45,39
Währung umrechnenEUR 17,80 für den Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Proof Theory and Intuitionistic Systems
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 66,02
Währung umrechnenEUR 2,26 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Proof Theory and Intuitionistic Systems,
Verlag: Springer, Berlin, 1971
Sprache: Englisch
Anbieter: Antiquariat Mackensen & Niemann, Berlin, Deutschland
Verkäuferbewertung 4 von 5 Sternen
EUR 20,00
Währung umrechnenEUR 52,00 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den Warenkorb290 S., sehr gutes Exemplar, Original-Broschur,
-
Proof Theory and Intuitionistic Systems
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1971, 1971
ISBN 10: 354005541X ISBN 13: 9783540055419
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 42,75
Währung umrechnenEUR 60,00 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -and preliminaries.- A review of Gentzen's second consistency proof.- The intuitionistic system of number theory.- A formally intuitionistic system as strong as classical analysis.- Transfinite induction with respect to recursive wellorderings without function parameters.- A formally intuitonistic theory equivalent to classical transfinite induction with respect to recursive wellfounded trees with function parameters.- A system containing barinduction with respect to decidable predicates.- Harrop formulas.- The Markov principle.- Relative consistency proof of ZTN with respect to ZTi/IN\*.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.
-
Proof Theory and Intuitionistic Systems
Verlag: Springer Berlin Heidelberg, 1971
ISBN 10: 354005541X ISBN 13: 9783540055419
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 42,75
Währung umrechnenEUR 62,29 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - and preliminaries.- A review of Gentzen's second consistency proof.- The intuitionistic system of number theory.- A formally intuitionistic system as strong as classical analysis.- Transfinite induction with respect to recursive wellorderings without function parameters.- A formally intuitonistic theory equivalent to classical transfinite induction with respect to recursive wellfounded trees with function parameters.- A system containing barinduction with respect to decidable predicates.- Harrop formulas.- The Markov principle.- Relative consistency proof of ZTN with respect to ZTi/IN\*.
-
Proof Theory and Intuitionistic Systems (Paperback)
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1971
ISBN 10: 354005541X ISBN 13: 9783540055419
Sprache: Englisch
Anbieter: AussieBookSeller, Truganina, VIC, Australien
Verkäuferbewertung 5 von 5 Sternen
EUR 124,25
Währung umrechnenEUR 31,62 für den Versand von Australien nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Proof Theory and Intuitionistic Systems
Verlag: Springer Berlin Heidelberg Jan 1971, 1971
ISBN 10: 354005541X ISBN 13: 9783540055419
Sprache: Englisch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 42,75
Währung umrechnenEUR 23,00 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -and preliminaries.- A review of Gentzen's second consistency proof.- The intuitionistic system of number theory.- A formally intuitionistic system as strong as classical analysis.- Transfinite induction with respect to recursive wellorderings without function parameters.- A formally intuitonistic theory equivalent to classical transfinite induction with respect to recursive wellfounded trees with function parameters.- A system containing barinduction with respect to decidable predicates.- Harrop formulas.- The Markov principle.- Relative consistency proof of ZTN with respect to ZTi/IN\*. 300 pp. Englisch.
-
Proof Theory and Intuitionistic Systems
Verlag: Springer Berlin Heidelberg, 1971
ISBN 10: 354005541X ISBN 13: 9783540055419
Sprache: Englisch
EUR 39,56
Währung umrechnenEUR 48,99 für den Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. and preliminaries.- A review of Gentzen s second consistency proof.- The intuitionistic system of number theory.- A formally intuitionistic system as strong as classical analysis.- Transfinite induction with respect to recursive wellorderings without functi.
