Contenuti
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Metamathematical Investigation of Intuitionistic Arithmetic...
Foto dell'editore
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
Da: Best Price, Torrance, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. SUPER FAST SHIPPING. Codice articolo 9783540064916
Compra nuovo
EUR 62,06
Spese di spedizione:
EUR 7,75
In U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020157318
Compra nuovo
EUR 67,11
Spese di spedizione:
EUR 3,44
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 2937465
Compra usato
EUR 64,03
Spese di spedizione:
EUR 14,65
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540064916_new
Compra nuovo
EUR 68,97
Spese di spedizione:
EUR 13,57
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Editore:
Springer Berlin Heidelberg Nov 1973, 1973
ISBN 10: 3540064915
ISBN 13: 9783540064916
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540064916
Compra nuovo
EUR 69,54
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: 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. Codice articolo 4879223
Compra nuovo
EUR 61,55
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
ISBN 10: 3540064915
ISBN 13: 9783540064916
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540064916
Compra nuovo
EUR 69,54
Spese di spedizione:
EUR 60,00
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Editore:
Springer Berlin Heidelberg, 1973
ISBN 10: 3540064915
ISBN 13: 9783540064916
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540064916
Compra nuovo
EUR 69,54
Spese di spedizione:
EUR 63,78
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 101888598
Compra nuovo
EUR 64,00
Spese di spedizione:
EUR 70,00
Da: Germania a: U.S.A.
Quantità: 5 disponibili
Foto dell'editore
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Editore:
Springer Berlin Heidelberg, 1973
ISBN 10: 3540064915
ISBN 13: 9783540064916
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Codice articolo 4133014/202
Compra usato
EUR 42,09
Spese di spedizione:
EUR 105,00
Da: Germania a: U.S.A.
Quantità: 1 disponibili