Verwandte Artikel zu Proof Theory and Intuitionistic Systems: 212 (Lecture...
Inhaltsangabe
Book by Scarpellini Bruno
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 39,56
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Proof Theory and Intuitionistic Systems: 212 (Lecture...
Foto des Verkäufers
Proof Theory and Intuitionistic Systems. Lecture Notes in Mathematics; 212.
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover. 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. Bestandsnummer des Verkäufers 2491248
Anzahl: 1 verfügbar
Foto des Verkäufers
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
Broschiert. 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. Bestandsnummer des Verkäufers 2208628
Anzahl: 1 verfügbar
Foto des Verkäufers
Proof Theory and Intuitionistic Systems
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 4878816
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Proof Theory and Intuitionistic Systems
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. 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\*. Bestandsnummer des Verkäufers 9783540055419
Anzahl: 1 verfügbar
Foto des Verkäufers
Proof Theory and Intuitionistic Systems
ISBN 10: 354005541X
ISBN 13: 9783540055419
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. 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. Bestandsnummer des Verkäufers 9783540055419
Anzahl: 2 verfügbar
Foto des Verkäufers
Proof Theory and Intuitionistic Systems
Verlag:
Springer Berlin Heidelberg Jan 1971, 1971
ISBN 10: 354005541X
ISBN 13: 9783540055419
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. 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. Bestandsnummer des Verkäufers 9783540055419
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540055419_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Proof Theory and Intuitionistic Systems
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540055419
Anzahl: 10 verfügbar
Foto des Verkäufers
Proof Theory and Intuitionistic Systems
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 5907423-n
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212)
Anbieter: Best Price, Torrance, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. SUPER FAST SHIPPING. Bestandsnummer des Verkäufers 9783540055419
Anzahl: 2 verfügbar