1.

Record Nr.

UNICAMPANIASUN0085573

Autore

Pohlers, Wolfram

Titolo

Proof theory : the first step into impredicativity / Wolfram Pohlers

Pubbl/distr/stampa

Berlin, : Springer, 2009

ISBN

978-35-406-9318-5

Descrizione fisica

XIII, 370 p. ; 24 cm.

Soggetti

03Fxx - Proof theory and constructive mathematics [MSC 2020]

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia