Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics
Gert H. Müller, Jane E. Kister, Dirk van Dalen, Anne S. Troelstra (eds.)Catégories:
Année:
1987
Editeur::
Springer
Langue:
english
Pages:
436
ISBN 10:
3662090694
ISBN 13:
9783662090695
Collection:
Perspectives in Mathematical Logic
Fichier:
PDF, 15.16 MB
IPFS:
,
english, 1987