Combinatory logic: Pure, applied and typed
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 9781439800003
- 511.3 KAT.C
Item type | Current library | Home library | Collection | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
![]() |
Dept. of Philosophy General Stacks | Dept. of Philosophy | Non-fiction | 511.3 KAT.C (Browse shelf(Opens below)) | Available | PHL3841 | ||
![]() |
Dept. of Philosophy General Stacks | Dept. of Philosophy | Non-fiction | 511.3 KAT.C;1 (Browse shelf(Opens below)) | Available | PHL3734 |
Browsing Dept. of Philosophy shelves, Shelving location: General Stacks, Collection: Non-fiction Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
510.954 VIN.V VEDIC MATHEMATICS MODERN RESEARCH METHODS | 511.3 JOS.M MATHEMATICAL LOGIC | 511.3 KAT.C Combinatory logic: Pure, applied and typed | 511.3 KAT.C;1 Combinatory logic: Pure, applied and typed | 511.3 SHA.C COURSE ON MATHEMATICAL LOGIC | 511.3 WIL.L LOGICISM AND ITS PHILOSOPHICAL LEGACY | 513 VIN.V VEDIC ARITHMETICS |
There are no comments on this title.
Log in to your account to post a comment.