Order Total (1 Item Items):
Shipping Destination:
Metamathematical Investigation Intuitionistic Arithmetic (14 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (14)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (10)
- As New, Fine or Near Fine (1)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (2)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (13)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (5)
- Not Print on Demand (10)
Language (2)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Condition: New. SUPER FAST SHIPPING.
-
US$ 75.52
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
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
US$ 82.54
Convert currencyUS$ 16.24 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: New. pp. 504.
-
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 1973, 1973
ISBN 10: 3540064915 ISBN 13: 9783540064916
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
US$ 84.30
Convert currencyUS$ 70.61 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketTaschenbuch. 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.
-
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Published by Springer Berlin Heidelberg, 1973
ISBN 10: 3540064915 ISBN 13: 9783540064916
Language: English
US$ 84.30
Convert currencyUS$ 75.06 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketTaschenbuch. 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.
-
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Published by Springer Berlin Heidelberg, 1973
ISBN 10: 3540064915 ISBN 13: 9783540064916
Language: English
US$ 45.92
Convert currencyUS$ 123.57 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
US$ 157.74
Convert currencyUS$ 33.88 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Very Good. Very Good. book.
-
US$ 19.40
Convert currencyUS$ 39.43 shipping from Netherlands to U.S.A.Quantity: 1 available
Add to basketUniversity of Amsterdam 1974 stencil, 26 blz. Report 74-16 (code Sc-44).
-
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Published by Springer-Verlag, Berlin / Heidelberg, 1973
ISBN 10: 3540064915 ISBN 13: 9783540064916
Seller: Expatriate Bookshop of Denmark, Svendborg, Denmark
Seller rating 5 out of 5 stars
US$ 59.00
Convert currencyUS$ 151.82 shipping from Denmark to U.S.A.Quantity: 1 available
Add to basketorig. wrappers. Condition: Minor wear. VG. 24x16cm, xvii,485 pp., Weighs 900 grams. Series: Lecture Notes in Mathematics, 525.
-
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Published by Springer Berlin Heidelberg Nov 1973, 1973
ISBN 10: 3540064915 ISBN 13: 9783540064916
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
US$ 84.30
Convert currencyUS$ 27.07 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketTaschenbuch. 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.
-
US$ 113.34
Convert currencyUS$ 8.81 shipping from United Kingdom to U.S.A.Quantity: 4 available
Add to basketCondition: 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.
-
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Published by Springer Berlin Heidelberg, 1973
ISBN 10: 3540064915 ISBN 13: 9783540064916
Language: English
US$ 74.61
Convert currencyUS$ 57.66 shipping from Germany to U.S.A.Quantity: Over 20 available
Add to basketCondition: 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.
-
US$ 123.70
Convert currencyUS$ 11.71 shipping from Germany to U.S.A.Quantity: 4 available
Add to basketCondition: New. PRINT ON DEMAND pp. 504.
