Search Results for Curry, Haskell B. (Haskell Brooks), 1900-1982.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCurry$00252C$002bHaskell$002bB.$002b$002528Haskell$002bBrooks$002529$00252C$002b1900-1982.$0026ps$003d300?dt=list
2024-12-18T21:37:18Z
Combinatory logic. Volume II
ent://SD_ILS/0/SD_ILS:257254
2024-12-18T21:37:18Z
2024-12-18T21:37:18Z
Author Curry, Haskell B. (Haskell Brooks), 1900-1982. Hindley, J. Roger. Seldin, J. P.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422085">http://www.sciencedirect.com/science/book/9780720422085</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatory logic
ent://SD_ILS/0/SD_ILS:257278
2024-12-18T21:37:18Z
2024-12-18T21:37:18Z
Author Curry, Haskell B. (Haskell Brooks), 1900-1982. Feys, Robert. Craig, William, 1918-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533876">http://www.sciencedirect.com/science/book/9780444533876</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Outlines of a formalist philosophy of mathematics
ent://SD_ILS/0/SD_ILS:257272
2024-12-18T21:37:18Z
2024-12-18T21:37:18Z
Author Curry, Haskell B. (Haskell Brooks), 1900-1982.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533685">http://www.sciencedirect.com/science/book/9780444533685</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>