Search Results for Logic - Narrowed by: 1990
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$0026qf$003dPUBDATE$002509Publication$002bDate$0025091990$0025091990$0026ps$003d300$0026isd$003dtrue?dt=list
2024-10-21T20:56:29Z
Introduction to logic
ent://SD_ILS/0/SD_ILS:748
2024-10-21T20:56:29Z
2024-10-21T20:56:29Z
Author Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number BC 108 S85 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logic of sense
ent://SD_ILS/0/SD_ILS:268366
2024-10-21T20:56:29Z
2024-10-21T20:56:29Z
Author Deleuze, Gilles.<br/>Preferred Shelf Number B840 D3813 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic programming and databases
ent://SD_ILS/0/SD_ILS:69851
2024-10-21T20:56:29Z
2024-10-21T20:56:29Z
Author Ceri, Stefano, 1955- Gottlob, G., ort. yaz. Tanca, L., ort. yaz.<br/>Preferred Shelf Number QA 76.63 C47 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logic of practice
ent://SD_ILS/0/SD_ILS:90557
2024-10-21T20:56:29Z
2024-10-21T20:56:29Z
Author Bourdieu, Pierre, 1930-2002<br/>Preferred Shelf Number GN 468 B6813 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Studies in inductive logic and probability
ent://SD_ILS/0/SD_ILS:35499
2024-10-21T20:56:29Z
2024-10-21T20:56:29Z
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-10-21T20:56:29Z
2024-10-21T20:56:29Z
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/>
Kotarbinski : logic, semantics, and ontology
ent://SD_ILS/0/SD_ILS:71233
2024-10-21T20:56:29Z
2024-10-21T20:56:29Z
Author Wolenski, J., ed.<br/>Preferred Shelf Number B 4691.K594 K67 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Parallel computers : object-oriented, functional, logic
ent://SD_ILS/0/SD_ILS:71538
2024-10-21T20:56:29Z
2024-10-21T20:56:29Z
Author Treleaven, P. C., ed.<br/>Preferred Shelf Number QA 76.5 P314 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Leibniz's philosophy logic and language
ent://SD_ILS/0/SD_ILS:327
2024-10-21T20:56:29Z
2024-10-21T20:56:29Z
Author Ishiguro, Hide<br/>Preferred Shelf Number B 2599.L8 I83 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Systems programming in parallel logic languages
ent://SD_ILS/0/SD_ILS:32234
2024-10-21T20:56:29Z
2024-10-21T20:56:29Z
Author Foster, Ian, 1959-<br/>Preferred Shelf Number QA 76.66 F67 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
To mock mockingbird : and other logic puzzles...
ent://SD_ILS/0/SD_ILS:6991
2024-10-21T20:56:29Z
2024-10-21T20:56:29Z
Author Smullyan, Raymond Merrill, 1919-<br/>Preferred Shelf Number GV 1507.P43 S68 1985<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Boethius the consolations of music, logic, theology and philosophy
ent://SD_ILS/0/SD_ILS:230660
2024-10-21T20:56:29Z
2024-10-21T20:56:29Z
Author Chadwick, Henry, 1920-2008.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198265498.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198265498.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
LISP, lore and logic : an algebraic view of LISP programming, foundations, and applications
ent://SD_ILS/0/SD_ILS:70720
2024-10-21T20:56:29Z
2024-10-21T20:56:29Z
Author Stark, W. Richard.<br/>Preferred Shelf Number QA 76.73.L23 S72 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The Practice of Prolog
ent://SD_ILS/0/SD_ILS:219891
2024-10-21T20:56:29Z
2024-10-21T20:56:29Z
Author Sterling, Leon.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267439">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267439</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cylindric algebras
ent://SD_ILS/0/SD_ILS:46044
2024-10-21T20:56:29Z
2024-10-21T20:56:29Z
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/>
Classical recursion theory the theory of functions and sets of natural numbers
ent://SD_ILS/0/SD_ILS:256597
2024-10-21T20:56:29Z
2024-10-21T20:56:29Z
Author Odifreddi, Piergiorgio, 1950-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444502056">http://www.sciencedirect.com/science/book/9780444502056</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model theory
ent://SD_ILS/0/SD_ILS:257084
2024-10-21T20:56:29Z
2024-10-21T20:56:29Z
Author Chang, Chen Chung, 1927- Keisler, H. Jerome.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444880543">http://www.sciencedirect.com/science/book/9780444880543</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Classification theory and the number of non-isomorphic models
ent://SD_ILS/0/SD_ILS:257167
2024-10-21T20:56:29Z
2024-10-21T20:56:29Z
Author Shelah, Saharon.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444702609">http://www.sciencedirect.com/science/book/9780444702609</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-10-21T20:56:29Z
2024-10-21T20:56:29Z
Author Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The Development of a Strategy for Integrated Manufacturing Systems
ent://SD_ILS/0/SD_ILS:247848
2024-10-21T20:56:29Z
2024-10-21T20:56:29Z
Author Schofield, N. A., ed.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1049/PBME012E">http://dx.doi.org/10.1049/PBME012E</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wise choices, apt feelings : a theory of normative judgment
ent://SD_ILS/0/SD_ILS:112401
2024-10-21T20:56:29Z
2024-10-21T20:56:29Z
Author Gibbard, Allan.<br/>Preferred Shelf Number BJ1012 .G53 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>