Search Results for Logic. - Narrowed by: 2001
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092001$0025092001$0026te$003dILS$0026ps$003d300?
2025-12-13T19:56:18Z
Mathematical logic
ent://SD_ILS/0/SD_ILS:256600
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Turing, Alan Mathison, 1912-1954. Gandy, R. O. (Robin O.) Yates, C. E. M.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444504234">http://www.sciencedirect.com/science/book/9780444504234</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to logic
ent://SD_ILS/0/SD_ILS:748
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number BC 108 S85 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Advances in modal logic
ent://SD_ILS/0/SD_ILS:78063
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Kracht, Marcus, ed.<br/>Preferred Shelf Number BC 199.M6 A38 1998- V.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Studies in inductive logic and probability
ent://SD_ILS/0/SD_ILS:35499
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
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/>
Chance, love and logic : philosophical essays
ent://SD_ILS/0/SD_ILS:67464
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.<br/>Preferred Shelf Number B 945.P43 C5 1923 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic : the theory of formal inference
ent://SD_ILS/0/SD_ILS:740
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
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/>
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number QA 9 C742513 2000 PT.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
The Logic of Concept Expansion
ent://SD_ILS/0/SD_ILS:234880
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Buzaglo, Meir.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511487460">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An introduction to probability and inductive logic
ent://SD_ILS/0/SD_ILS:81720
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Hacking, Ian.<br/>Preferred Shelf Number BC 141 H33 2001<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The technique of controversy : principles of dynamic logic
ent://SD_ILS/0/SD_ILS:72543
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Bogoslovsky, Boris Basil, 1890-<br/>Preferred Shelf Number BC 108 B65 1928 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The limits of science : outline of logic and of the methodology of the exact sciences
ent://SD_ILS/0/SD_ILS:72557
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Preferred Shelf Number Q 175 C494 1948 A (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Postmodernism, or, The cultural logic of late capitalism
ent://SD_ILS/0/SD_ILS:76042
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Jameson, Fredric.<br/>Preferred Shelf Number PN 98.P67 J3 1991<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Engines of logic : mathematicians and the origin of the computer
ent://SD_ILS/0/SD_ILS:132674
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Davis, Martin.<br/>Preferred Shelf Number QA76.5 D38 2000<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Kripke modelleri üzerinde standard olmayan mantığın elamanları = Elements of non-standard logic on kripke models
ent://SD_ILS/0/SD_ILS:71300
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Yaşar, Ramazan.<br/>Preferred Shelf Number TEZ 4862 .Y26 2001<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Learning and soft computing : support vector machines, neural networks, and fuzzy logic models
ent://SD_ILS/0/SD_ILS:84188
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Kecman, Vojislav, 1948-<br/>Preferred Shelf Number QA76.9.S63 K43 2001<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Introduction to fuzzy sets, fuzzy logic, and fuzzy control systems
ent://SD_ILS/0/SD_ILS:547193
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Chen, G. (Guanrong), author. Pham, Trung Tat.<br/>Preferred Shelf Number QA76.9 .S63 C48 2000<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420039818">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Learning and soft computing support vector machines, neural networks, and fuzzy logic models
ent://SD_ILS/0/SD_ILS:219905
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Kecman, V. (Vojislav), 1948-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267294">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267294</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A treatise on induction and probability
ent://SD_ILS/0/SD_ILS:55443
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number BC 91 W72 1951 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction
ent://SD_ILS/0/SD_ILS:72527
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Nicod, Jean, 1893-1924.<br/>Preferred Shelf Number QA 681 N5 1930 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logical studies
ent://SD_ILS/0/SD_ILS:72539
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number BC 6 W72 1957 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Rudiments of [mu]-calculus
ent://SD_ILS/0/SD_ILS:256563
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Arnold, A. (André), 1945- Niwiński, Damian.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444506207">http://www.sciencedirect.com/science/book/9780444506207</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An examination of logical positivism
ent://SD_ILS/0/SD_ILS:44223
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Weinberg, Julius Rudolf, 1908-<br/>Preferred Shelf Number B 824.6 W434 1936 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The nature of mathematics : a critical survey
ent://SD_ILS/0/SD_ILS:72542
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Black, Max, 1909-<br/>Preferred Shelf Number QA 9 B62 1933 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Cylindric algebras
ent://SD_ILS/0/SD_ILS:46044
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
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/>
The foundations of mathematics : and other logical essays
ent://SD_ILS/0/SD_ILS:72541
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Preferred Shelf Number QA 9 R23 1931<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-13T19:56:18Z
2025-12-13T19:56:18Z
Author Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Nonlinear biomedical signal processing
ent://SD_ILS/0/SD_ILS:79068
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.<br/>Preferred Shelf Number R 857.S47 N66 2000- V.2<br/>Format: Books<br/>Availability Beytepe Library~3<br/>
Communication : a philosophical study of language
ent://SD_ILS/0/SD_ILS:72500
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Britton, Karl, 1909-<br/>Preferred Shelf Number P 105 B75 1939 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Dialectic
ent://SD_ILS/0/SD_ILS:72501
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Adler, Mortimer Jerome, 1902-<br/>Preferred Shelf Number BC 177 A4 1927 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logical syntax of language
ent://SD_ILS/0/SD_ILS:72509
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number BC 135 C323 1937 P (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Nonlinear biomedical signal processing
ent://SD_ILS/0/SD_ILS:76943
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Akay, Metin.<br/>Preferred Shelf Number QT 26.5 N813 2000-<br/>Format: Books<br/>Availability Health Sciences Library~1<br/>
FPGA '01 : ACM/SIGDA ninth International Symposium on Field Programmable Gate Arrays : Monterey, California, USA
ent://SD_ILS/0/SD_ILS:72023
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author ACM International Symposium on Field-Programmable Gate Arrays (9th : 2001 : Monterey, Calif.) ACM Special Interest Group on Design Automation.<br/>Preferred Shelf Number TK 7895.G36 A36 2001<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The practical handbook of genetic algorithms : applications
ent://SD_ILS/0/SD_ILS:541925
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Chambers, Lance.<br/>Preferred Shelf Number QA402.5 .P72 2001<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420035568">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Thin film magnetoresistive sensors
ent://SD_ILS/0/SD_ILS:542064
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Tumanski, Slawomir., author.<br/>Preferred Shelf Number TK7872 .T55 T853 2001<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420033243">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Design of high-performance microprocessor circuits
ent://SD_ILS/0/SD_ILS:249699
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Chandrakasan, Anantha P. Bowhill, William J. Fox, Frank, 1952-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5266000">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5266000</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Biological diversity : balancing interests through adaptive collaborative management
ent://SD_ILS/0/SD_ILS:539897
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Buck, Louise.<br/>Preferred Shelf Number S944.5 .P78 B56 2001<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420042597">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
The resource handbook of electronics
ent://SD_ILS/0/SD_ILS:542495
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Whitaker, Jerry C., author.<br/>Preferred Shelf Number TK7825 .W48 2001<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420036862">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Algebraic statistics : computational commutative algebra in statistics
ent://SD_ILS/0/SD_ILS:547661
2025-12-13T19:56:18Z
2025-12-13T19:56:18Z
Author Pistone, Giovanni., author. Riccomagno, Eva. Wynn, Henry P.<br/>Preferred Shelf Number QA276 .P53 2001<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420035766">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>