1.

Record Nr.

UNICAMPANIAVAN00261785

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

Pubbl/distr/stampa

Berlin, : Springer, 1981

Descrizione fisica

x, 350 p. ; 24 cm

Soggetti

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]

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia