Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980
Gespeichert in:
| 1. Verfasser: | Richman, Fred, 1938- |
|---|---|
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in mathematics
873 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Constructive mathematics, proceedings of the New Mexico State university conference held at Las Cruces, New Mexico, August 11-15, 1980, edited by F. Richman, 1981, Berlin [etc.], Springer-Verlag, 1 volume (VI-347 p.), Lecture notes in mathematics, 0-387-10850-5 • Constructive Mathematics, Texte imprimé, 9783662206508 |
Ähnliche Einträge
-
Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
(Livre numérique)
Bucur, Ion, 1930-1976, et al. -
Metamathematical investigation of intuitionistic arithmetic and analysis
(Livre numérique)
Troelstra, Anne Sjerp -
Philosophie de la logique
(Livre papier)
Dummett, Michael Anthony Eardley, 1925-2011
les Éditions de Minuit, 1991 -
Principles of intuitionism : lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y.
(Livre numérique)
Troelstra, Anne Sjerp -
Introduction à la logique : théorie de la démonstration : [cours, 190 exercices corrigés]
(Livre numérique)
David, René, 1948-...., mathématicien, et al.
Dunod, 2025

