Introduction to higher order categorical logic /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Lambek, Joachim, 1922-2014 (Autor), Scott, P. J. (Autor)
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