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 F. Richman



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Richman, Fred Visualizza persona
Titolo: Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman Visualizza cluster
Pubblicazione: Berlin : Springer-Verlag, 1981
Descrizione fisica: vi, 347 p. ; 25 cm.
Disciplina: 510
511.3
Soggetto topico: Constructive mathematics - Congresses
Intuitionistic mathematics - Congresses
Mathematical logic and foundations - Congresses
Proof theory - Congresses
Classificazione: AMS 03-06
AMS 03-XX
AMS 03F
Note generali: Includes bibliographical references and index
ISBN: 3540108505
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: b10756899
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Serie: Lecture notes in mathematics, 0075-8434 ; 873