Normal view MARC view ISBD view

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 papers
En-ligne : Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
Salle R
03-06 RIC (Browse shelf) Available 07527-01

Bibliogr. en fin de contributions

There are no comments for this item.

Log in to your account to post a comment.