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

• Pubblicazione: Berlin, : Springer, 1981
• Descrizione fisica: x, 350 p. ; 24 cm
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 00Bxx - Conference proceedings and collections of articles [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
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN0261785
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: https://doi.org/10.1007/BFb0090721