Items related to Proof Theory and Intuitionistic Systems: 212 (Lecture...
Synopsis
Rare Book
"synopsis" may belong to another edition of this title.
Search results for Proof Theory and Intuitionistic Systems: 212 (Lecture...
Seller Image
Proof Theory and Intuitionistic Systems. Lecture Notes in Mathematics; 212.
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
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. Seller Inventory # 2491248
Quantity: 1 available
Seller Image
Proof Theory and Intuitionistic Systems Lecture Notes in Mathematics, vol. 212
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: 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. Seller Inventory # 2208628
Quantity: 1 available
Stock Image
Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540055419_new
Quantity: Over 20 available
Stock Image
Proof Theory and Intuitionistic Systems
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540055419
Quantity: 10 available
Seller Image
Proof Theory and Intuitionistic Systems
Published by
Springer Berlin Heidelberg Jan 1971, 1971
ISBN 10: 354005541X
ISBN 13: 9783540055419
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783540055419
Quantity: 2 available
Seller Image
Proof Theory and Intuitionistic Systems
Published by
Springer Berlin Heidelberg, 1971
ISBN 10: 354005541X
ISBN 13: 9783540055419
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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\*. Seller Inventory # 9783540055419
Quantity: 1 available
Seller Image
Proof Theory and Intuitionistic Systems
Published by
Springer Berlin Heidelberg, 1971
ISBN 10: 354005541X
ISBN 13: 9783540055419
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: 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. Seller Inventory # 4878816
Quantity: Over 20 available
Seller Image
Proof Theory and Intuitionistic Systems
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5907423-n
Quantity: 15 available
Seller Image
Proof Theory and Intuitionistic Systems
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1971, 1971
ISBN 10: 354005541X
ISBN 13: 9783540055419
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783540055419
Quantity: 2 available
Stock Image
Proof Theory and Intuitionistic Systems
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. 1971. Paperback. . . . . . Seller Inventory # V9783540055419
Quantity: 15 available