The lambda calculus, its syntax and semantics /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
London :
College Publications,
c2012
|
| Edice: | Studies in logic ;
v. 40 |
| Témata: |
| Fyzický popis: | xv, 621 s., E16 |
|---|---|
| ISBN: | 978-1-84890-066-0 |