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
Bibliography : P. 177-180
There are no comments for this item.