Omega-bibliography of Mathematical Logic. Volume 6: Proof Theory Constructive Mathematics
Gert H. Müller (ed.)جلد:
6
سال:
1987
اشاعت:
reprint
ناشر کتب:
Springer
زبان:
english
صفحات:
448
ISBN 10:
3662090694
ISBN 13:
9783662090695
سیریز:
Perspectives of Mathematical Logic
فائل:
DJVU, 6.48 MB
IPFS:
,
english, 1987