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 : |
|