Omega-bibliography of Mathematical Logic. Volume 6: Proof Theory Constructive Mathematics

Omega-bibliography of Mathematical Logic. Volume 6: Proof Theory Constructive Mathematics

Author
Gert H. Müller (ed.)
Publisher
Springer
Language
English
Edition
reprint
Year
1987,2013
Page
448
ISBN
3662090694,9783662090695
File Type
djvu
File Size
6.5 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book