Articoli correlati a Metamathematical Investigation of Intuitionistic Arithmetic...
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.
Compra nuovo
Visualizza questo articolo
EUR 61,55
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Metamathematical Investigation of Intuitionistic Arithmetic...
Immagini fornite dal venditore
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344, Band 344)
Da: Studibuch, Stuttgart, Germania
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: Befriedigend. Seiten; 9783540064916.4 Gewicht in Gramm: 1. Codice articolo 743995
Quantità: 1 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 | Seiten: 504 | Sprache: Englisch | Produktart: Bücher. Codice articolo 4133014/202
Quantità: 1 disponibili
Immagini fornite dal venditore
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 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
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Editore:
Springer-Verlag, Berlin / Heidelberg, 1973
ISBN 10: 3540064915
ISBN 13: 9783540064916
Antico o usato
orig. wrappers
Da: Expatriate Bookshop of Denmark, Svendborg, Danimarca
Valutazione del venditore 5 su 5 stelle
orig. wrappers. Condizione: Minor wear. VG. 24x16cm, xvii,485 pp., Weighs 900 grams. Series: Lecture Notes in Mathematics, 525. Codice articolo 027208
Quantità: 1 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
Quantità: 2 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
Quantità: Più di 20 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
Quantità: 1 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. 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
Quantità: 2 disponibili
Foto dell'editore
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 504. Codice articolo 262582272
Quantità: 4 disponibili
Foto dell'editore
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 5298399
Quantità: 4 disponibili