Order Total (1 Item Items):
Shipping Destination:
Metamathematical Investigation Intuitionistic Arithmetic (12 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (12)
- 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 (7)
- As New, Fine or Near Fine (1)
- Very Good or Good (2)
- Fair or Poor (No further results match this refinement)
- As Described (2)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (11)
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 (6)
- Not Print on Demand (9)
Language (2)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
-
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,900grams, ISBN:3540064915.
-
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.
-
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Published by Springer Berlin Heidelberg, 1973
ISBN 10: 3540064915 ISBN 13: 9783540064916
Language: English
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.
-
Taschenbuch. Condition: Neu. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis | Anne S. Troelstra | Taschenbuch | Einband - flex.(Paperback) | Englisch | Springer | EAN 9783540064916 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Published by Springer Berlin Heidelberg, 1973
ISBN 10: 3540064915 ISBN 13: 9783540064916
Language: English
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Paperback. Condition: Very Good. Very Good. book.
-
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
orig. wrappers. Condition: Minor wear. VG. 24x16cm, xvii,485 pp., Weighs 900 grams. Series: Lecture Notes in Mathematics, 525.
-
University of Amsterdam 1974 stencil, 26 blz. Report 74-16 (code Sc-44).
-
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
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.
-
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Published by Springer Berlin Heidelberg, 1973
ISBN 10: 3540064915 ISBN 13: 9783540064916
Language: English
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.
-
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
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. 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.
