The lambda calculus : its syntax and semantics /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Amsterdam :
North-Holland Publishing Company,
1981
|
| Edice: | Studies in Logic and the Foundations of Mathematics ;
103 |
| Témata: |
| Popis jednotky: | Jm. a věc. rejstř. |
|---|---|
| Fyzický popis: | 615 s., obr., čb. fotogr. |
| Bibliografie: | Bibliografie na s. 580-591. |
| ISBN: | 0-444-85490-8 |