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