Articoli correlati a Iterated Inductive Definitions and Subsystems of Analysis:...

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies: 897 - Brossura

Buchholz, Wilfred

 
9783540111702: Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies: 897
Brossura
ISBN 10: 3540111700 ISBN 13: 9783540111702
Casa editrice: Springer, 2009
Vedi tutte le copie di questo ISBN:
 
 
Contenuti:
Inductive definitions and subsystems of analysis.- Proof theoretic equivalences between classical and constructive theories for analysis.- Inductive definitions, constructive ordinals, and normal derivations.- The ??+1-Rule.- Ordinal analysis of ID?.- Proof-theoretical analysis of ID? by the method of local predicativity.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione2009
  • ISBN 10 3540111700
  • ISBN 13 9783540111702
  • RilegaturaCopertina flessibile
  • Numero di pagine392

Altre edizioni note dello stesso titolo

9780387111704: Iterated Inductive Definitions and Subsystems of Analysis: 897

Edizione in evidenza

ISBN 10:  0387111700 ISBN 13:  9780387111704
Casa editrice: Springer Verlag, 1982
Brossura

I migliori risultati di ricerca su AbeBooks

Immagini fornite dal venditore

Buchholz, Wilfred
Editore: Springer (1981)
ISBN 10: 3540111700 ISBN 13: 9783540111702
Nuovo Soft Cover Quantità: 10
Da:
booksXpress
(Bayonne, NJ, U.S.A.)
Valutazione libreria
Valutazione venditore: 4 stelle, Learn more about seller ratings

Descrizione libro Soft Cover. Condizione: new. Codice articolo 9783540111702

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 45,70
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

W. Buchholz
Editore: Springer (1981)
ISBN 10: 3540111700 ISBN 13: 9783540111702
Nuovo Brossura Quantità: > 20
Print on Demand
Da:
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9783540111702_lsuk

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 38,24
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 11,66
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Buchholz, W.
Editore: Springer 1981-12 (1981)
ISBN 10: 3540111700 ISBN 13: 9783540111702
Nuovo PF Quantità: 10
Da:
Chiron Media
(Wallingford, Regno Unito)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro PF. Condizione: New. Codice articolo 6666-IUK-9783540111702

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 33,64
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 17,51
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Buchholz, W.; Feferman, S.; Pohlers, W.; Sieg, W.
Editore: Springer (1981)
ISBN 10: 3540111700 ISBN 13: 9783540111702
Nuovo Brossura Quantità: > 20
Da:
Lucky's Textbooks
(Dallas, TX, U.S.A.)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Condizione: New. Codice articolo ABLIING23Mar3113020159287

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 48,09
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,73
In U.S.A.
Destinazione, tempi e costi
Immagini fornite dal venditore

W. Buchholz
ISBN 10: 3540111700 ISBN 13: 9783540111702
Nuovo Taschenbuch Quantità: 2
Print on Demand
Da:
BuchWeltWeit Ludwig Meier e.K.
(Bergisch Gladbach, Germania)
Valutazione libreria
Valutazione venditore: 4 stelle, Learn more about seller ratings

Descrizione libro Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Inductive definitions and subsystems of analysis.- Proof theoretic equivalences between classical and constructive theories for analysis.- Inductive definitions, constructive ordinals, and normal derivations.- The +1-Rule.- Ordinal analysis of ID .- Proof-theoretical analysis of ID by the method of local predicativity. 392 pp. Englisch. Codice articolo 9783540111702

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 37,40
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 23,00
Da: Germania a: U.S.A.
Destinazione, tempi e costi
Immagini fornite dal venditore

W. Buchholz
ISBN 10: 3540111700 ISBN 13: 9783540111702
Nuovo Taschenbuch Quantità: 1
Da:
AHA-BUCH GmbH
(Einbeck, Germania)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Inductive definitions and subsystems of analysis.- Proof theoretic equivalences between classical and constructive theories for analysis.- Inductive definitions, constructive ordinals, and normal derivations.- The +1-Rule.- Ordinal analysis of ID .- Proof-theoretical analysis of ID by the method of local predicativity. Codice articolo 9783540111702

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 42,17
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 32,99
Da: Germania a: U.S.A.
Destinazione, tempi e costi
Foto dell'editore

W. Pohlers S. Feferman W. Buchholz
Editore: Springer (1981)
ISBN 10: 3540111700 ISBN 13: 9783540111702
Nuovo Brossura Quantità: 4
Da:
Books Puddle
(New York, NY, U.S.A.)
Valutazione libreria
Valutazione venditore: 4 stelle, Learn more about seller ratings

Descrizione libro Condizione: New. pp. 392. Codice articolo 261781445

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 77,96
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,73
In U.S.A.
Destinazione, tempi e costi
Immagini fornite dal venditore

W. Buchholz|S. Feferman|W. Pohlers|W. Sieg
ISBN 10: 3540111700 ISBN 13: 9783540111702
Nuovo Brossura Quantità: > 20
Print on Demand
Da:
moluna
(Greven, Germania)
Valutazione libreria
Valutazione venditore: 4 stelle, Learn more about seller ratings

Descrizione libro Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Inductive definitions and subsystems of analysis.- Proof theoretic equivalences between classical and constructive theories for analysis.- Inductive definitions, constructive ordinals, and normal derivations.- The ??+1-Rule.- Ordinal analysis of ID?.- Proof. Codice articolo 4881270

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 35,17
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 48,99
Da: Germania a: U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Pohlers W. Feferman S. Buchholz W.
Editore: Springer (1981)
ISBN 10: 3540111700 ISBN 13: 9783540111702
Nuovo Brossura Quantità: 4
Print on Demand
Da:
Majestic Books
(Hounslow, Regno Unito)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Condizione: New. Print on Demand pp. 392 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 7115034

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 84,05
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 7,59
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi