Omega-bibliography of mathematical logic : Vol. 6 Proof theory constructive mathematics
Enregistré dans:
Auteurs principaux : | , , , , |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | Omega-bibliography of mathematical logic. Vol. 6, Proof theory constructive mathematics / G. H. Müller |
Publié : |
Berlin :
Springer
, 1987 |
Description matérielle : | 1 vol. (xli, 405 p.) |
Collection : | Perspectives in mathematical logic |
Sujets : |
Chargement en cours