Search Results for Logic. - Narrowed by: 1987
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091987$0025091987$0026ps$003d300?
2025-12-14T22:37:51Z
Introduction to logic
ent://SD_ILS/0/SD_ILS:748
2025-12-14T22:37:51Z
2025-12-14T22:37:51Z
Author Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number BC 108 S85 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic tools programming
ent://SD_ILS/0/SD_ILS:32217
2025-12-14T22:37:51Z
2025-12-14T22:37:51Z
Author Pace, Philip, 1956- Pace, L., ort. yaz.<br/>Preferred Shelf Number QA 76.6 P325 1987<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Temporal logic of programs
ent://SD_ILS/0/SD_ILS:32200
2025-12-14T22:37:51Z
2025-12-14T22:37:51Z
Author Kröger, Fred, 1945-<br/>Preferred Shelf Number QA 76.6 K753 1987<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Foundations of logic programming
ent://SD_ILS/0/SD_ILS:72686
2025-12-14T22:37:51Z
2025-12-14T22:37:51Z
Author Lloyd, John Wylie, 1947-<br/>Preferred Shelf Number QA 76.6 L538 1987<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Studies in inductive logic and probability
ent://SD_ILS/0/SD_ILS:35499
2025-12-14T22:37:51Z
2025-12-14T22:37:51Z
Author Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.<br/>Preferred Shelf Number QA 273.4 C37 1971-<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic : the theory of formal inference
ent://SD_ILS/0/SD_ILS:740
2025-12-14T22:37:51Z
2025-12-14T22:37:51Z
Author Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Preferred Shelf Number BC 108 A55 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic programming and knowledge engineering
ent://SD_ILS/0/SD_ILS:32178
2025-12-14T22:37:51Z
2025-12-14T22:37:51Z
Author Amble, Tore, 1945-<br/>Preferred Shelf Number QA 76.6 A464 1987<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
ent://SD_ILS/0/SD_ILS:257246
2025-12-14T22:37:51Z
2025-12-14T22:37:51Z
Author Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444702111">http://www.sciencedirect.com/science/book/9780444702111</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Microprocessors and programmed logic : solutions manualto even numbered problems
ent://SD_ILS/0/SD_ILS:34745
2025-12-14T22:37:51Z
2025-12-14T22:37:51Z
Author Short, Kenneth L.<br/>Preferred Shelf Number QA 76.5 S496 1987<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Metaphor its cognitive force and linguistic structure
ent://SD_ILS/0/SD_ILS:231063
2025-12-14T22:37:51Z
2025-12-14T22:37:51Z
Author Kittay, Eva Feder.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198242468.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198242468.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cylindric algebras
ent://SD_ILS/0/SD_ILS:46044
2025-12-14T22:37:51Z
2025-12-14T22:37:51Z
Author Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.<br/>Preferred Shelf Number QA 9 H415 1971- V.1<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
İslam mantık tarihi ve Farabi mantığı
ent://SD_ILS/0/SD_ILS:85159
2025-12-14T22:37:51Z
2025-12-14T22:37:51Z
Author Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Argumentation : Proceedings of the Conference on Argumentation 1986. Analysis and Practices
ent://SD_ILS/0/SD_ILS:533974
2025-12-14T22:37:51Z
2025-12-14T22:37:51Z
Author Adelswärd, Viveka, contributor. Bailin, Sharon, contributor. Berube, David M., contributor. Biro, J.I., contributor. Blair, J. Anthony, contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9783110869170">https://doi.org/10.1515/9783110869170</a>
<a href="https://www.degruyter.com/isbn/9783110869170">https://www.degruyter.com/isbn/9783110869170</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110869170/original">https://www.degruyter.com/document/cover/isbn/9783110869170/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Argumentation : Proceedings of the Conference on Argumentation 1986. Perspectives and Approaches
ent://SD_ILS/0/SD_ILS:534080
2025-12-14T22:37:51Z
2025-12-14T22:37:51Z
Author Alexandrova, Donka, contributor. Allen, Mike, contributor. Apothéloz, Denis, contributor. Astroh, Michael, contributor. Bax, Marcel M.H., contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9783110869163">https://doi.org/10.1515/9783110869163</a>
<a href="https://www.degruyter.com/isbn/9783110869163">https://www.degruyter.com/isbn/9783110869163</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110869163/original">https://www.degruyter.com/document/cover/isbn/9783110869163/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Argumentation : Proceedings of the Conference on Argumentation 1986. Across the Lines of Disciplines
ent://SD_ILS/0/SD_ILS:534096
2025-12-14T22:37:51Z
2025-12-14T22:37:51Z
Author Eemeren, Frans, author. Airaksinen, Timo, contributor. Barth, E.M., contributor. Benoit, William L., contributor. Blair, Anthony, author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9783110867718">https://doi.org/10.1515/9783110867718</a>
<a href="https://www.degruyter.com/isbn/9783110867718">https://www.degruyter.com/isbn/9783110867718</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110867718/original">https://www.degruyter.com/document/cover/isbn/9783110867718/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>