COMBINATORS, TERMS AND PROOF THEORY
By: Stenlund, Soren.
Material type:
BookSeries: Synthese Library. Publisher: Dordrecht D. Reidel 1972Description: 184.Subject(s): Combinatory Logic | Proof TheoryDDC classification: 511.6 | St42c
| Item type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 511.6 St42c (Browse shelf) | Book Request | Available | A63876 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
| 511.6 Sh86q Quasi-symmetric designs | 511.6 Si57v Voltaire's riddle | 511.6 So32g2 Geometric etudes in combinatorial mathematics | 511.6 St42c COMBINATORS, TERMS AND PROOF THEORY | 511.6 St94 STUDIES IN FOUNDATIONS AND COMBINATORIES | 511.6 Su79 SURVEYS IN COMBINATORICS | 511.6 Su79 Surveys in combinatorics, 1989 |
Bibliography : P. 177-180
There are no comments for this item.