Učitavanje...
Applied proof theory proof interpretations and their use in mathematics
Glavni autor: | |
---|---|
Format: | Printed Book |
Jezik: | English |
Izdano: |
Heidelberg
Springer
2008
|
Teme: |
UL
Signatura: |
510.6 KOH |
---|---|
Primjerak | Prikaz statusa u stvarnom vremenu nije dostupan |