Combinatory logic : pure, applied and typed /
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Boca Raton :
Taylor and Francis,
2012.
|
| Series: | Discrete mathematics and its applications.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Physical Description: | 1 online resource (xi, 345 pages) |
|---|---|
| Bibliography: | Includes bibliographical references (pages 321-330) and index. |
| ISBN: | 9780429075285 |