Vai al contenuto principale della pagina

Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980 / edited by Fred Richman



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980 / edited by Fred Richman Visualizza cluster
Pubblicazione: Berlin, : Springer, 1981
Descrizione fisica: x, 350 p. ; 24 cm
Soggetto topico: 00Bxx - Conference proceedings and collections of articles [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020]
Soggetto non controllato: Algebra
Calculation
Constructive mathematics
Finite
Mathematics
Ordinals
Recursion
Set Theory
Persona (resp. second.): Richman, Fred
Titolo autorizzato: Constructive mathematics  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: VAN00261785
Lo trovi qui: Univ. Vanvitelli
Localizzazioni e accesso elettronico https://doi.org/10.1007/BFb0090721
Opac: Controlla la disponibilità qui
Fa parte di: Lecture notes in mathematics Berlin [etc.] . -Springer ; 873