1.

Record Nr.

UNINA990001218740403321

Autore

Buchholz, Wilfried

Titolo

Iterated inductive definitions and subsystems of analysis : Recent Proof-Theoretical Studies / by Buchholz W. Feferman S. Pohlers W. Sieg W.

Pubbl/distr/stampa

Berlin [etc.] : Springer-Verlag, 1

Collana

Lecture Notes in Mathematics ; 897

Locazione

MA1

Collocazione

C-20-(897

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia