Search Results for -- ABD. - Narrowed by: 2008 - Logic. - Mathematics.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003d--$002bABD.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092008$0025092008$0026qf$003dSUBJECT$002509Subject$002509Logic.$002509Logic.$0026qf$003dSUBJECT$002509Subject$002509Mathematics.$002509Mathematics.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?
2024-08-31T09:20:50Z
Institution-independent Model Theory
ent://SD_ILS/0/SD_ILS:198125
2024-08-31T09:20:50Z
2024-08-31T09:20:50Z
Author Diaconescu, Răzvan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8708-2">http://dx.doi.org/10.1007/978-3-7643-8708-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
ent://SD_ILS/0/SD_ILS:169939
2024-08-31T09:20:50Z
2024-08-31T09:20:50Z
Author Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6782-2">http://dx.doi.org/10.1007/978-1-4020-6782-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>