Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Troelstra, Anne S.

ISBN 10: 3540064915 ISBN 13: 9783540064916
Editore: Springer, 1973
Usato Brossura

Da GreatBookPrices, Columbia, MD, U.S.A. Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Venditore AbeBooks dal 6 aprile 2009

Questo articolo specifico non è più disponibile.
Visualizza gli articoli del venditore Crea un desiderata per articoli simili

Riguardo questo articolo

Descrizione:

Unread book in perfect condition. Codice articolo 5907549

Segnala questo articolo

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.

Dati bibliografici

Titolo: Metamathematical Investigation of ...
Casa editrice: Springer
Data di pubblicazione: 1973
Legatura: Brossura
Condizione: As New

I migliori risultati di ricerca su AbeBooks

Foto dell'editore

Unbekannt
Editore: Springer, 1973
ISBN 10: 3540064915 ISBN 13: 9783540064916
Antico o usato Brossura

Da: Buchpark, Trebbin, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 504 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Codice articolo 4133014/202

Contatta il venditore

Compra usato

EUR 37,88
Spedizione EUR 105,00
Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Troelstra, A. S. ; editor :
ISBN 10: 3540064915 ISBN 13: 9783540064916
Antico o usato orig. wrappers

Da: Expatriate Bookshop of Denmark, Svendborg, Danimarca

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

orig. wrappers. Condizione: Minor wear. VG. 24x16cm, xvii,485 pp., Weighs 900 grams. Series: Lecture Notes in Mathematics, 525. Codice articolo 027208

Contatta il venditore

Compra usato

EUR 51,55
Spedizione EUR 129,00
Spedito da Danimarca a U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Troelstra, Anne S.
ISBN 10: 3540064915 ISBN 13: 9783540064916
Nuovo Brossura
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

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

Contatta il venditore

Compra nuovo

EUR 61,55
Spedizione EUR 48,99
Spedito da Germania a U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Anne S. Troelstra
Editore: Springer, 1973
ISBN 10: 3540064915 ISBN 13: 9783540064916
Nuovo Taschenbuch
Print on Demand

Da: preigu, Osnabrück, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

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 KG, Sachsenplatz 4-6, 1201 WIEN, ÖSTERREICH, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand. Codice articolo 101888598

Contatta il venditore

Compra nuovo

EUR 63,90
Spedizione EUR 70,00
Spedito da Germania a U.S.A.

Quantità: 5 disponibili

Aggiungi al carrello

Foto dell'editore

Trelstra, A. S. (Ed.)
Editore: Springer, 1973
ISBN 10: 3540064915 ISBN 13: 9783540064916
Antico o usato Brossura

Da: Anybook.com, Lincoln, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

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

Contatta il venditore

Compra usato

EUR 64,73
Spedizione EUR 15,34
Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 1973
ISBN 10: 3540064915 ISBN 13: 9783540064916
Nuovo Brossura

Da: Lucky's Textbooks, Dallas, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo ABLIING23Mar3113020157318

Contatta il venditore

Compra nuovo

EUR 65,99
Spedizione EUR 3,38
Spedito in U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Anne S. Troelstra
ISBN 10: 3540064915 ISBN 13: 9783540064916
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

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

Contatta il venditore

Compra nuovo

EUR 69,54
Spedizione EUR 23,00
Spedito da Germania a U.S.A.

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Anne S. Troelstra
ISBN 10: 3540064915 ISBN 13: 9783540064916
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

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

Contatta il venditore

Compra nuovo

EUR 69,54
Spedizione EUR 63,78
Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Anne S. Troelstra
ISBN 10: 3540064915 ISBN 13: 9783540064916
Nuovo Taschenbuch
Print on Demand

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

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

Contatta il venditore

Compra nuovo

EUR 69,54
Spedizione EUR 60,00
Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 1973
ISBN 10: 3540064915 ISBN 13: 9783540064916
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9783540064916_new

Contatta il venditore

Compra nuovo

EUR 69,92
Spedizione EUR 13,71
Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello

Vedi altre 1 copie di questo libro

Vedi tutti i risultati per questo libro