Search Results for Logic, Symbolic and mathematical. - Narrowed by: Online Library - Electronic Library - 1996
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025091996$0025091996$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list
2024-07-07T08:47:29Z
Principles of logic and logic programming
ent://SD_ILS/0/SD_ILS:253740
2024-07-07T08:47:29Z
2024-07-07T08:47:29Z
Author Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444816443">http://www.sciencedirect.com/science/book/9780444816443</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical frameworks for truth and abstraction an axiomatic study
ent://SD_ILS/0/SD_ILS:256533
2024-07-07T08:47:29Z
2024-07-07T08:47:29Z
Author Cantini, Andrea.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444823069">http://www.sciencedirect.com/science/book/9780444823069</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>