Vai al contenuto principale della pagina

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



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Beeson, Michael J. Visualizza persona
Titolo: Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson Visualizza cluster
Pubblicazione: Berlin [etc.] : Springer, c1985
Descrizione fisica: XXIII, 466 p. ; 25 cm.
Disciplina: 511.3
Soggetto topico: Logica matematica
Titolo autorizzato: Foundations of constructive mathematics  Visualizza cluster
ISBN: 3-540-12173-0
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 000015584
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Serie: Ergebnisse der Mathematik und ihrer Grenzgebiete