Items related to Metamathematical Investigation of Intuitionistic Arithmetic...
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344) - Softcover
Search results for Metamathematical Investigation of Intuitionistic Arithmetic...
Stock Image
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020157318
Quantity: Over 20 available
Stock Image
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540064916_new
Quantity: Over 20 available
Stock Image
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Published by
Springer Berlin Heidelberg, 1973
ISBN 10: 3540064915
ISBN 13: 9783540064916
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 504 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 4133014/202
Quantity: 1 available
Seller Image
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Published by
Springer Berlin Heidelberg Nov 1973, 1973
ISBN 10: 3540064915
ISBN 13: 9783540064916
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 -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. Seller Inventory # 9783540064916
Quantity: 2 available
Stock Image
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 504. Seller Inventory # 262582272
Quantity: 4 available
Stock Image
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 504 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5298399
Quantity: 4 available
Seller Image
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Published by
Springer Berlin Heidelberg, 1973
ISBN 10: 3540064915
ISBN 13: 9783540064916
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Seller Inventory # 4879223
Quantity: Over 20 available
Stock Image
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 504. Seller Inventory # 182582282
Quantity: 4 available
Seller Image
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 1973, 1973
ISBN 10: 3540064915
ISBN 13: 9783540064916
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. 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. Seller Inventory # 9783540064916
Quantity: 2 available
Seller Image
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Published by
Springer Berlin Heidelberg, 1973
ISBN 10: 3540064915
ISBN 13: 9783540064916
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 - 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. Seller Inventory # 9783540064916
Quantity: 1 available