Search Results for Logic - Narrowed by: 1975
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$0026qf$003dPUBDATE$002509Publication$002bDate$0025091975$0025091975$0026te$003dILS$0026ps$003d300?
2024-09-22T05:43:24Z
Introduction to logic
ent://SD_ILS/0/SD_ILS:748
2024-09-22T05:43:24Z
2024-09-22T05:43:24Z
Author Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number BC 108 S85 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Studies in inductive logic and probability
ent://SD_ILS/0/SD_ILS:35499
2024-09-22T05:43:24Z
2024-09-22T05:43:24Z
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
2024-09-22T05:43:24Z
2024-09-22T05:43:24Z
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/>
Intensional and higher-order modal logic with applications to Montague semantics
ent://SD_ILS/0/SD_ILS:257038
2024-09-22T05:43:24Z
2024-09-22T05:43:24Z
Author Gallin, Daniel.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444110022">http://www.sciencedirect.com/science/book/9780444110022</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital logic and switching circuits : operation and analysis
ent://SD_ILS/0/SD_ILS:38823
2024-09-22T05:43:24Z
2024-09-22T05:43:24Z
Author Boyce, Jefferson C.<br/>Preferred Shelf Number QA 401 B62 1975<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Simplicity
ent://SD_ILS/0/SD_ILS:231533
2024-09-22T05:43:24Z
2024-09-22T05:43:24Z
Author Sober, Elliott.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198244073.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198244073.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cylindric algebras
ent://SD_ILS/0/SD_ILS:46044
2024-09-22T05:43:24Z
2024-09-22T05:43:24Z
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/>
Cylindric algebras. Part II
ent://SD_ILS/0/SD_ILS:256956
2024-09-22T05:43:24Z
2024-09-22T05:43:24Z
Author Henkin, Leon. Monk, J. Donald (James Donald), 1930- Tarski, Alfred.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444876799">http://www.sciencedirect.com/science/book/9780444876799</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Large infinitary languages model theory
ent://SD_ILS/0/SD_ILS:257199
2024-09-22T05:43:24Z
2024-09-22T05:43:24Z
Author Dickmann, M. A., 1940-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444106223">http://www.sciencedirect.com/science/book/9780444106223</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proof theory
ent://SD_ILS/0/SD_ILS:257304
2024-09-22T05:43:24Z
2024-09-22T05:43:24Z
Author Takeuti, Gaisi, 1926-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104922">http://www.sciencedirect.com/science/book/9780444104922</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
İslam mantık tarihi ve Farabi mantığı
ent://SD_ILS/0/SD_ILS:85159
2024-09-22T05:43:24Z
2024-09-22T05:43:24Z
Author Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
De dialectica
ent://SD_ILS/0/SD_ILS:97158
2024-09-22T05:43:24Z
2024-09-22T05:43:24Z
Author Jackson, Belford Darrell, 1938-, trans. Pinborg, Jan., ed.<br/>Preferred Shelf Number B 655.D42 E54 1975<br/>Format: Books<br/>Availability Beytepe Library~1<br/>