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

Name: Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
ISBN: 9783540111702

W. Buchholz , S. Feferman , W. Pohlers

Aún sin calificaciones

Dec 1, 1981 · Inglés · Tapa blanda (392 páginas)

Califica este libro

Detalles del libro

Formato Tapa blanda

Páginas 392

Idioma Inglés

Publicado Dec 1, 1981

Editorial Springer

ISBN-10 3540111700

ISBN-13 9783540111702

Used - Like New

Califica este libro