Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics
Gert H. Müller, Jane E. Kister, Dirk van Dalen, Anne S. Troelstra (eds.)الفئات:
عام:
1987
الناشر:
Springer
اللغة:
english
الصفحات:
436
ISBN 10:
3662090694
ISBN 13:
9783662090695
سلسلة الكتب:
Perspectives in Mathematical Logic
ملف:
PDF, 15.16 MB
IPFS:
,
english, 1987