Items related to Proof Theory and Intuitionistic Systems (Lecture Notes...
Synopsis
Book by Scarpellini, Bruno
"synopsis" may belong to another edition of this title.
Search results for Proof Theory and Intuitionistic Systems (Lecture Notes...
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
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
Stock Image
Proof Theory and Intuitionistic Systems (Paperback)
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1971
ISBN 10: 354005541X
ISBN 13: 9783540055419
New
Paperback
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783540055419
Quantity: 1 available
Stock Image
Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020156928
Quantity: Over 20 available
Stock Image
Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783540055419
Quantity: 2 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
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5907423
Quantity: 15 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