Détails bibliographiques
| Auteurs principaux : |
Müller Gert Heinz
(Auteur),
Lenski Wolfgang
(Éditeur scientifique),
Kister J. E.
(Éditeur scientifique),
Troelstra Anne Sjerp
(Éditeur scientifique),
Dalen Dirk van
(Éditeur scientifique) |
| 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 : |
|
Nantilus
