Constructive mathematics : proceedings of the New Mexico, State University conference held at Las Cruces New Mexico, August 11-15, 1980 / F. Richman

Auteur secondaire : Richman, Fred, 1938-, Editeur scientifiqueType de document : CongrèsCollection : Lecture notes in mathematics, 873Langue : anglais.Pays: Allemagne.Éditeur : Berlin : Springer-Verlag, 1981Description : 1 vol. (VI, 347 p.) ; 24 cmISBN: 9783540108504.ISSN: 0075-8434.Bibliographie : Bibliogr. en fin de contributions.Sujet MSC : 03-06, Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
03Fxx, Mathematical logic and foundations - Proof theory and constructive mathematics
00Bxx, General - Conference proceedings and collections of papersEn-ligne : Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Congrès Congrès CMI
Salle 1 		03-06 RIC (Browse shelf(Opens below)) Available 07527-01

Bibliogr. en fin de contributions

There are no comments on this title.

to post a comment.