טוען...
Applied proof theory: Proof interpretations and their use in mathematics/
מחבר ראשי: | |
---|---|
פורמט: | Printed Book |
שפה: | English |
יצא לאור: |
Germany:
Springer,
2008.
|
סדרה: | Springer monographs in mathematics.
|
נושאים: |
University of Calicut
סימן המיקום: |
511.36 511.36 KOH/A |
---|---|
עותק | סטטוס עדכני לא זמין |
עותק | סטטוס עדכני לא זמין |