Modelsofthe lamda calculus
Material type:
TextLanguage: English Series: Centre for Mathematics and computer science, CWI tract; 9Publication details: Amsterdam Centre for Mathematics and Computer Science 1984Description: iii,181pSubject(s): DDC classification: - 511.3 K88
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 511.3 K88 (Browse shelf(Opens below)) | Available | E2803 |
Total holds: 0
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| 511.3 K86 Categorical perspectives | 511.3 K86 Discrete mathematics with applications | 511.3 K88 Computational logic and human thinking | 511.3 K88 Modelsofthe lamda calculus | 511.3 K89 Bounded arithmetic, propositional logic, and complexity theory | 511.3 K95 Mathematical logic and Theoretical computer science | 511.3 K95 Infinitary logic |
There are no comments on this title.
Log in to your account to post a comment.
