Limit Search Results
Author
SpringerLink (Online service)
(10)
Gabbay, Dov M., 1945-
(7)
Woods, John (John Hayden)
(7)
International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
(3)
O'Regan, Gerard. author.
(3)
Language
Publication Date
-
Subject
Logic -- History.
(7)
Computer science -- Mathematics.
(4)
Many-valued logic.
(4)
Nonmonotonic reasoning.
(4)
Artificial intelligence.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
52 Results Found Subscribe to search results
0000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44561-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for The Cold War and After : History, Theory, and the Logic of International Politics.
The Cold War and After : History, Theory, and the Logic of International Politics.
Author 
Trachtenberg, Marc.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7rk9r
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for From Peirce to Skolem a neglected chapter in the history of logic
From Peirce to Skolem a neglected chapter in the history of logic
Author 
Brady, Geraldine.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444503343
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Physics, logic and history : based on the First International Colloquium held at the University of Denver, May 116-20, 1966
Physics, logic and history : based on the First International Colloquium held at the University of Denver, May 116-20, 1966
Author 
Yourgrau, Wolfgang, ed. Breck, Allen D., ed.
Preferred Shelf Number 
QC 6 P47 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for The rise of modern logic from Leibniz to Frege
The rise of modern logic from Leibniz to Frege
Author 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444516114
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logic and the modalities in the twentieth century
Logic and the modalities in the twentieth century
Author 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444516220
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Greek, Indian, and Arabic logic
Greek, Indian, and Arabic logic
Author 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444504661
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computational logic
Computational logic
Preferred Shelf Number 
ONLINE(355347.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444516244
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for The many valued and non-monotonic turn in logic
The many valued and non-monotonic turn in logic
Author 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444516237
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for The many valued and non-monotonic turn in logic
The many valued and non-monotonic turn in logic
Author 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444516237
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for The many valued and non-monotonic turn in logic
The many valued and non-monotonic turn in logic
Author 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444516237
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for The many valued and non-monotonic turn in logic
The many valued and non-monotonic turn in logic
Author 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444516237
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Intuition and the Axiomatic Method
Intuition and the Axiomatic Method
Author 
Carson, Emily. Huber, Renate. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4040-7
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for A logical Approach to Philosophy Essays in Honour of Graham Solomon
A logical Approach to Philosophy Essays in Honour of Graham Solomon
Author 
Devidi, David. Kenyon, Tim. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4054-7
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
Author 
International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania) Suppes, Patrick, 1922- International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science. Academia Republicii Socialiste România.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104915
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
Author 
Summer School in Logic (14th : 1969 : Manchester, England) Gandy, R. O. Yates, C. Michael E. North Atlantic Treaty Organization. International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422610
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Problems in the philosophy of science
Problems in the philosophy of science
Author 
International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre. Musgrave, Alan. Bedford College. British Society for the Philosophy of Science.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534132
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for İslam mantık tarihi ve Farabi mantığı
İslam mantık tarihi ve Farabi mantığı
Author 
Keklik, Nihat.
Preferred Shelf Number 
BC 34 K4 1969-70
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
19. 
Cover image for Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
Author 
Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95908-0
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Limits of AI - theoretical, practical, ethical
Limits of AI - theoretical, practical, ethical
Author 
Mainzer, Klaus. author. Kahle, Reinhard. author. (orcid)0000-0002-9064-877X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-68290-6
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Author 
Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30829-1
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26212-8
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Beyond-CMOS : state of the art and trends
Beyond-CMOS : state of the art and trends
Author 
Cresti, Alessandro, editor.
Preferred Shelf Number 
TK7871.99 .M44 B49 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394228713
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Archaeology of logic
Archaeology of logic
Author 
Schumann, Andrew, author.
Preferred Shelf Number 
K213
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003316466
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Machine learning and the city : applications in architecture and urban design
Machine learning and the city : applications in architecture and urban design
Author 
Carta, Silvio, editor.
Preferred Shelf Number 
NA2543 .T43 C375 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119815075
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Introduction to fuzzy logic
Introduction to fuzzy logic
Author 
Peckol, James K., author. John Wiley & Sons, publisher.
Preferred Shelf Number 
QA9.64 .P43 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Mantık tarihi : ortaçağ
Mantık tarihi : ortaçağ
Author 
İnönü, Nazlı.
Preferred Shelf Number 
BC28 I561 2019
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
28. 
Cover image for A companion to atheism and philosophy
A companion to atheism and philosophy
Author 
Oppy, Graham, 1960- editor.
Preferred Shelf Number 
BL2747.3 .C6175 2019 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119119302
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Et-Takrib li-haddi'l-mantık : Mantık ve dini ilimler : (inceleme-metim-çeviri)
Et-Takrib li-haddi'l-mantık : Mantık ve dini ilimler : (inceleme-metim-çeviri)
Author 
İbn Hazm El-Endelüsi Çapak, İbrahim. Arıkaner, Yusuf. Türkiye Yazma Eserler Kurumu Başkanlığı, publisher.
Preferred Shelf Number 
BC78.T8 I26 2018
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
30. 
Cover image for Society 5.0 : industry of the future, technologies, methods and tools
Society 5.0 : industry of the future, technologies, methods and tools
Author 
Salgues, Bruno, author.
Preferred Shelf Number 
HD45
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119507314
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Mantık tarihi : İlk çağ
Mantık tarihi : İlk çağ
Author 
İnönü, Nazlı.
Preferred Shelf Number 
BC28 I562 2017
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
32. 
Cover image for Prof.Dr.Mübahat Türker-Küyel makaleleri
Prof.Dr.Mübahat Türker-Küyel makaleleri
Author 
Türker-Küyel, Mübahat Dinç, Şeyma.
Preferred Shelf Number 
B67 T87 2017 V.1
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
33. 
Cover image for MOS devices for low-voltage and low-energy applications
MOS devices for low-voltage and low-energy applications
Author 
Omura, Y. (Yasuhisa), author. Mallik, Abhijit, author. Matsuo, N. (Naoto), author.
Preferred Shelf Number 
TK7871.99 .M44
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119107361
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Nanoelectronics : materials, devices, applications
Nanoelectronics : materials, devices, applications
Author 
Puers, R., editor.
Preferred Shelf Number 
TK7874.84
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527800728
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64021-1
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Turing Computability Theory and Applications
Turing Computability Theory and Applications
Author 
Soare, Robert I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-31933-4
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Applied univariate, bivariate, and multivariate statistics
Applied univariate, bivariate, and multivariate statistics
Author 
Denis, Daniel J., 1974-
Preferred Shelf Number 
QA279
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119583004
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Mantık risâleleri : (İnceleme - çeviri yazı - tıpkıbasım)
Mantık risâleleri : (İnceleme - çeviri yazı - tıpkıbasım)
Author 
Ladikli Mehmed Çelebi, -1495, contributor. Çapak, İbrahim. Öğmen, Mesud. Demir, Abdullah.
Preferred Shelf Number 
B740 M36 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
39. 
Cover image for Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
Author 
Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46823-4
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Monica Bonvicini
Monica Bonvicini
Author 
Kraynak, Janet, author. Rebentisch, Juliane, 1970- author. Alberro, Alexander, author.
Preferred Shelf Number 
N6923.B5937 M66 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
41. 
Cover image for Paper money collapse : the folly of elastic money
Paper money collapse : the folly of elastic money
Author 
Schlichter, Detlev S., 1964-
Preferred Shelf Number 
ONLINE(341934.1)
Electronic Access 
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118877326.jpg
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1725086
ebrary http://site.ebrary.com/id/10891169
John Wiley http://dx.doi.org/10.1002/9781118877340
Cover http://swbplus.bsz-bw.de/bsz41055152xcov.htm
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for The logician and the engineer : how George Boole and Claude Shannon created the information age
The logician and the engineer : how George Boole and Claude Shannon created the information age
Author 
Nahin, Paul J.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.cttq957s
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for After evil : a politics of human rights
After evil : a politics of human rights
Author 
Meister, Robert, 1947-
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.7312/meis15036
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Hermeneutic communism : from Heidegger to Marx
Hermeneutic communism : from Heidegger to Marx
Author 
Vattimo, Gianni, 1936- Zabala, Santiago, 1975-
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.7312/vatt15802
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Propositions, functions, and analysis selected essays on Russell's philosophy
Propositions, functions, and analysis selected essays on Russell's philosophy
Author 
Hylton, Peter.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199286355.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Low-power CMOS circuits : technology, logic design and CAD tools
Low-power CMOS circuits : technology, logic design and CAD tools
Author 
Piguet, Christian, author.
Preferred Shelf Number 
TK7871.99 .M44 P56 2006
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Low-power electronics design
Low-power electronics design
Author 
Piguet, Christian.
Preferred Shelf Number 
TK7874.66 .L65 2005
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Insect diets : science and technology
Insect diets : science and technology
Author 
Cohen, Allen Carson., author.
Preferred Shelf Number 
SF518 .C64 2004
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Root cause analysis : improving performance for bottom-line results
Root cause analysis : improving performance for bottom-line results
Author 
Latino, Robert J., author. Latino, Kenneth C.
Preferred Shelf Number 
TS156 .L368 2002
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Studies in post-medieval semantics
Studies in post-medieval semantics
Author 
Ashworth, E. J.
Preferred Shelf Number 
P 106 A78 1985
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
51. 
Cover image for The rise of British logic : acts of the Sixth European Symposium on Medieval Logic and Semantics, Balliol College, Oxford, 19-24 June 1983
The rise of British logic : acts of the Sixth European Symposium on Medieval Logic and Semantics, Balliol College, Oxford, 19-24 June 1983
Author 
European Symposium on Medieval Logic and Semantics (6th : 1983 : Balliol College) Lewry, P. Osmund, ed.
Preferred Shelf Number 
BC 39.5.G7 E97 1983
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
52. 
Cover image for Judgment and proposition : from Descartes to Kant
Judgment and proposition : from Descartes to Kant
Author 
Nuchelmans, Gabriel.
Preferred Shelf Number 
BC181 N78 1983
Format: 
Availability 
Beytepe Library~1
Available:
Copies: