Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson

Auteur principal : Beeson, Michael J., 1945-, AuteurType de document : Livre numériqueCollection : Ergebnisse der mathematik und ihrer grenzgebiete, 6Langue : anglais.Éditeur : Berlin : Springer-Verlag, 1985ISBN: 9783642689543.ISSN: 0071-1136.Sujet MSC : 03F50, Proof theory and constructive mathematics, Metamathematics of constructive systems
03F55, Proof theory and constructive mathematics, Intuitionistic mathematics
03F60, Proof theory and constructive mathematics, Constructive and recursive analysis
03F65, Proof theory and constructive mathematics, Other constructive mathematicsEn-ligne : Numir | Springerlink | Zentralblatt
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.