Search Results for Logic. - Narrowed by: 1999
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091999$0025091999$0026te$003dILS$0026ps$003d300?
2025-12-14T18:11:55Z
Introduction to logic
ent://SD_ILS/0/SD_ILS:748
2025-12-14T18:11:55Z
2025-12-14T18:11:55Z
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-14T18:11:55Z
2025-12-14T18:11:55Z
Author Kracht, Marcus, ed.<br/>Preferred Shelf Number BC 199.M6 A38 1998- V.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Categorical logic and type theory
ent://SD_ILS/0/SD_ILS:256535
2025-12-14T18:11:55Z
2025-12-14T18:11:55Z
Author Jacobs, Bart.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444501707">http://www.sciencedirect.com/science/book/9780444501707</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and techniques in modal logic
ent://SD_ILS/0/SD_ILS:256549
2025-12-14T18:11:55Z
2025-12-14T18:11:55Z
Author Kracht, Marcus.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444500557">http://www.sciencedirect.com/science/book/9780444500557</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Studies in inductive logic and probability
ent://SD_ILS/0/SD_ILS:35499
2025-12-14T18:11:55Z
2025-12-14T18:11:55Z
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-14T18:11:55Z
2025-12-14T18:11:55Z
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/>
Air logic control for automated systems
ent://SD_ILS/0/SD_ILS:538566
2025-12-14T18:11:55Z
2025-12-14T18:11:55Z
Author Wojtecki, Rudy.<br/>Preferred Shelf Number TJ219 .W64 1999<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781420050110">https://www.taylorfrancis.com/books/9781420050110</a>
Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780367802394">https://www.taylorfrancis.com/books/9780367802394</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High-performance system design circuits and logic
ent://SD_ILS/0/SD_ILS:249599
2025-12-14T18:11:55Z
2025-12-14T18:11:55Z
Author Oklobdzija, Vojin G. IEEE Circuits and Systems Society. IEEE Solid-State Circuits Society.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265197">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265197</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Postmodernism, or, The cultural logic of late capitalism
ent://SD_ILS/0/SD_ILS:76042
2025-12-14T18:11:55Z
2025-12-14T18:11:55Z
Author Jameson, Fredric.<br/>Preferred Shelf Number PN 98.P67 J3 1991<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Language, logic, and concepts : Essays in memory of John Macnamara
ent://SD_ILS/0/SD_ILS:77977
2025-12-14T18:11:55Z
2025-12-14T18:11:55Z
Author Macnamara, John Theodore. Jackendoff, Ray, 1945- ed. Bloom, Paul, 1963- ed. Wynn, Karen, ed.<br/>Preferred Shelf Number BF 201 L36 1999<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Cylindric algebras
ent://SD_ILS/0/SD_ILS:46044
2025-12-14T18:11:55Z
2025-12-14T18:11:55Z
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
2025-12-14T18:11:55Z
2025-12-14T18:11:55Z
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/>
Handbook of computability theory
ent://SD_ILS/0/SD_ILS:256534
2025-12-14T18:11:55Z
2025-12-14T18:11:55Z
Author Griffor, Edward R.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444898821">http://www.sciencedirect.com/science/book/9780444898821</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
2025-12-14T18:11:55Z
2025-12-14T18:11:55Z
Author Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The Mathematics of Syntactic Structure : Trees and their Logics
ent://SD_ILS/0/SD_ILS:532361
2025-12-14T18:11:55Z
2025-12-14T18:11:55Z
Author Cornell, Thomas L., contributor. Kallmeyer, Laura, contributor. Kolb, Hans-Peter, contributor. Kolb, Hans-Peter, editor. Kracht, Marcus, contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9783110806786">https://doi.org/10.1515/9783110806786</a>
<a href="https://www.degruyter.com/isbn/9783110806786">https://www.degruyter.com/isbn/9783110806786</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110806786/original">https://www.degruyter.com/document/cover/isbn/9783110806786/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wissenschaft der Logik
ent://SD_ILS/0/SD_ILS:115889
2025-12-14T18:11:55Z
2025-12-14T18:11:55Z
Author Hegel, Georg Wilhelm Friedrich. Jaeschke, Walter von. Gawoll, Hans-Jürgen.<br/>Preferred Shelf Number B2942 H444 1999 BAND 11<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Fuzzy theory systems techniques and applications
ent://SD_ILS/0/SD_ILS:253685
2025-12-14T18:11:55Z
2025-12-14T18:11:55Z
Author Leondes, Cornelius T.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124438705">http://www.sciencedirect.com/science/book/9780124438705</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimization methods for logical inference
ent://SD_ILS/0/SD_ILS:300305
2025-12-14T18:11:55Z
2025-12-14T18:11:55Z
Author Chandru, Vijay, 1953- Hooker, John, 1949-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118033166">An electronic book accessible through the World Wide Web; click for information</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=695262">Click here to view book</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley042/98044622.html">http://catdir.loc.gov/catdir/bios/wiley042/98044622.html</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mantık
ent://SD_ILS/0/SD_ILS:108603
2025-12-14T18:11:55Z
2025-12-14T18:11:55Z
Author Çüçen, A. Kadir.<br/>Preferred Shelf Number BC117.T8 C46 1999<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Symbolic Methods in Control System Analysis and Design
ent://SD_ILS/0/SD_ILS:247709
2025-12-14T18:11:55Z
2025-12-14T18:11:55Z
Author Munro, Neil, ed.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1049/PBCE056E">http://dx.doi.org/10.1049/PBCE056E</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beyin geliştirme
ent://SD_ILS/0/SD_ILS:509292
2025-12-14T18:11:55Z
2025-12-14T18:11:55Z
Author Vos Savant, Marilyn Mach. Fleischer, Leonore. Şen, Cem.<br/>Preferred Shelf Number BF441 V67 1999<br/>Format: Books<br/>Availability Beytepe Library~1<br/>