লোডিং...
Applied proof theory proof interpretations and their use in mathematics
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | Printed Book |
| ভাষা: | English |
| প্রকাশিত: |
Heidelberg
Springer
2008
|
| বিষয়গুলি: |
| দৈহিক বর্ননা: | xix, 532p. |
|---|---|
| আইসবিএন: | 9783540775324 |