Ładuje się......
Applied proof theory proof interpretations and their use in mathematics
1. autor: | |
---|---|
Format: | Printed Book |
Język: | English |
Wydane: |
Heidelberg
Springer
2008
|
Hasła przedmiotowe: |
UL
Sygnatura: |
510.6 KOH |
---|---|
Egzemplarz | Możliwość dostępu nieznana |