Refine your search
Availability
-
Authors
- Alemi, Mario
- Beyer, Dirk
- Boole, George
- Boolos, George
- Burgess, John P.
- Burlaeus, Gualterus
- Chockler, Hana
- Erdei, László
- Feferman, Solomon
- Fitting, Melvin
- Greenwood, Thomas
- Huisman, Marieke
- Hájek, Petr
- Lakatos, Imre
- Sangiorgi, Davide
- Smith, Peter
- Tieszen, Richard L.
- Tourlakis, George J.
- Väänänen, J.
- Worrall, John
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
- Beiträge zur Kultur- und Geistesgeschichte Asiens
- Cambridge introductions to philosophy
- Cambridge library collection. Mathematics
- Cambridge studies in advanced mathematics
- Cambridge tracts in mathematics
- Cambridge tracts in theoretical computer science
- Encyclopedia of mathematics and its applications
- Graduate texts in mathematics
- Grundlagen der Kommunikation
- Lecture notes in logic
- Libelli
- Logique et methodologie, exposes pub. sous la direction de Thomas Greenwood
- London Mathematical Society lecture note series
- Perspectives in logic
- Philosophische Analyse / Philosophical Analysis
- Springer series in language and communication
- SpringerBriefs in Computer Science
- Studies in logic and the foundations of mathematics
- Theoretical Computer Science and General Issues
- Yale library of medieval philosophy
- Show more
- Show less
-
Topics
- Artificial intelligence
- Artificial Intelligence
- Computer logic
- Computers
- Inference
- Logic
- Logic design
- Logic programming
- Logic, Symbolic and mathematical
- Logics and Meanings of Programs
- Mathematical logic
- Mathematical Logic and Formal Languages
- Mathematics
- Modality (Logic)
- Reasoning
- Software engineering
- Software Engineering/Programming and Operating Systems
- System Performance and Evaluation
- Show more
- Show less