Introduction to higher order categorical logic /
Uloženo v:
| Hlavní autoři: | , |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Cambridge ; New York, N.Y. :
Cambridge University Press,
1989
|
| Vydání: | 1st pub. |
| Edice: | Cambridge studies in advanced mathematics ;
vol. 7 |
| Témata: |
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
| Popis | Stav | Knihovna | Sbírka | Signatura | Poznámky | Čárový kód |
|---|---|---|---|---|---|---|
|
Dlouhodobá do 2027-10-12 |
Přírodovědecká fakulta | ÚK volný výběr | 503.86 | 3145061559 | ||
|
Dostupné Měsíční |
Přírodovědecká fakulta | ÚK volný výběr | 512.5-LAMB | 3145301320 | ||
|
Dostupné Měsíční |
Přírodovědecká fakulta | ÚK volný výběr | 512.5-LAMB | 3145308311 | ||
|
Dostupné Prezenční |
Přírodovědecká fakulta | ÚK volný výběr | 512.5-LAMB |
pbk. |
3145353634 |