Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Beeson, Michael J.
|
| Titolo: |
Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson
|
| Pubblicazione: | Berlin : Heidelberg |
| New York : Springer, 1985 | |
| Descrizione fisica: | XXIII, 466 p. ; 25 cm |
| Disciplina: | 519 |
| Soggetto non controllato: | Fondamenti della logica matematica e probabilità |
| Titolo autorizzato: | Foundations of constructive mathematics |
| ISBN: | 0-387-12173-0 |
| 3-540-12173-0 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 990001034810403321 |
| Lo trovi qui: | Univ. Federico II |
| Collocazione: | 4A-154 |
| C-31-(3F-6 | |
| 113-A-2 | |
| Opac: | Controlla la disponibilità qui |