Search results
- The Lambda calculus : its syntax and semantics / H.P. Barendregt. Amsterdam : Elsevier, 1984 . xv, 621 s., [19] s. příl.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 book
- Mathematical logic / by Joseph R. Shoenfield. Natick, MA : A K Peters, 2001 . vii, 344 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 2 0 0 book