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

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

W. Buchholz , S. Feferman , W. Pohlers

Ainda sem avaliações

Dec 1, 1981 · Inglês · Brochura (392 páginas)

Adicionar à Estante

Avalie este livro

Exportar Diário de Leitura

Detalhes do Livro

Formato Brochura

Páginas 392

Idioma Inglês

Publicado Dec 1, 1981

Editora Springer

ISBN-10 3540111700

ISBN-13 9783540111702

Descrição

Used - Like New

Adicionar à Estante

Avalie este livro

Exportar Diário de Leitura