Categorical logic and type theory /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Jacobs, B. P. F., 1963- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Amsterdam : Elsevier, 1999
Vydání:1st ed.
Edice:Studies in logic and the foundations of mathematics ; vol. 141
Témata:
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.

Fakulta informatiky

Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční
Fakulta informatiky L156 4200505313

Přírodovědecká fakulta

Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Měsíční
do 2025-07-28
Přírodovědecká fakulta ÚK volný výběr 510.6-JACO 3145308383