Cantitate/Preț
Produs

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies: Lecture Notes in Mathematics, cartea 897

Autor W. Buchholz, S. Feferman, W. Pohlers, W. Sieg
en Limba Engleză Paperback – dec 1981

Din seria Lecture Notes in Mathematics

Preț: 32150 lei

Nou

Puncte Express: 482

Preț estimativ în valută:
6153 6491$ 5128£

Carte tipărită la comandă

Livrare economică 02-16 ianuarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540111702
ISBN-10: 3540111700
Pagini: 392
Ilustrații: VIII, 384 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.55 kg
Ediția:1981
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Mathematics

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.