Search Results for Logic. - Narrowed by: E-Book - Combinatory logic.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dSUBJECT$002509Subject$002509Combinatory$002blogic.$002509Combinatory$002blogic.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-03T09:00:19Z
Combinatory logic
ent://SD_ILS/0/SD_ILS:257278
2024-09-03T09:00:19Z
2024-09-03T09:00:19Z
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/>
Combinatory logic. Volume II
ent://SD_ILS/0/SD_ILS:257254
2024-09-03T09:00:19Z
2024-09-03T09:00:19Z
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 pure, applied and typed
ent://SD_ILS/0/SD_ILS:285121
2024-09-03T09:00:19Z
2024-09-03T09:00:19Z
Author Bimb,̤ Katalin, 1963-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439800010">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra of proofs
ent://SD_ILS/0/SD_ILS:257307
2024-09-03T09:00:19Z
2024-09-03T09:00:19Z
Author Szabo, M. E.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422863">http://www.sciencedirect.com/science/book/9780720422863</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>