लोड हो रहा है...
Applied proof theory proof interpretations and their use in mathematics
मुख्य लेखक: | |
---|---|
स्वरूप: | Printed Book |
भाषा: | English |
प्रकाशित: |
Heidelberg
Springer
2008
|
विषय: |
UL
बोधानक: |
510.6 KOH |
---|---|
प्रति | लाइव स्थिति उपलब्ध नहीं है |