1.

Record Nr.

UNIBAS000015584

Autore

Beeson, Michael J.

Titolo

Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson

Pubbl/distr/stampa

Berlin [etc.] : Springer, c1985

ISBN

3-540-12173-0

Descrizione fisica

XXIII, 466 p. ; 25 cm.

Collana

Ergebnisse der Mathematik und ihrer Grenzgebiete . 3. Folge ; 6

Disciplina

511.3

Soggetti

Logica matematica

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia