Search Results for Logic. - Narrowed by: E-Book - First-order 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$002509First-order$002blogic.$002509First-order$002blogic.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-02T23:46:08Z
Independence-Friendly Logic A Game-Theoretic Approach
ent://SD_ILS/0/SD_ILS:237414
2024-09-02T23:46:08Z
2024-09-02T23:46:08Z
Author Mann, Allen L.. Sandu, Gabriel. Sevenster, Merlijn.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511981418">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependence Logic A New Approach to Independence Friendly Logic
ent://SD_ILS/0/SD_ILS:237222
2024-09-02T23:46:08Z
2024-09-02T23:46:08Z
Author Väänänen, Jouko.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511611193">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simple Theories and Hyperimaginaries
ent://SD_ILS/0/SD_ILS:237435
2024-09-02T23:46:08Z
2024-09-02T23:46:08Z
Author Casanovas, Enrique.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9781139003728">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of physical design and query compilation
ent://SD_ILS/0/SD_ILS:279182
2024-09-02T23:46:08Z
2024-09-02T23:46:08Z
Author Toman, David. Weddell, Grant E. (Grant Edwin), 1954-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440450">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440450</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>