The lambda calculus : its syntax and semantics /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Barendregt, Henk 1947- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Amsterdam : Elsevier, 1998
Vydání:Rev. ed.
Edice:Studies in logic and the foundations of mathematics ; vol. 103
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
Měsíční
do 2026-01-06
Přírodovědecká fakulta ÚK volný výběr 510.6-BARE 3145308384