Refine your search
Availability
-
Authors
- Andreescu, Titu
- Benthem, Johan
- Dowek, Gilles
- Gabbay, D.M.
- Gabbay, Dov M.
- Goncharov, Sergei S.
- Grzybek, Peter
- Guenthner, F.
- Gärdenfors, Peter
- Hersh, Reuben
- Hoek, Wiebe
- Houtlosser, Peter
- KEUPINK, ALFONS.
- Kooi, Barteld
- Lawry, Jonathan
- Marchisotto, Elena A...
- Rebuschi, Manuel
- Soifer, Alexander
- Wallis, W.D.
- Zakharyaschev, Micha...
- Show more
- Show less
-
Collections
-
Holding libraries
-
Item types
-
Locations
-
Series
- Advances in Mathemat...
- Applied Logic Series
- Argumentation Librar...
- Handbook of Philosop...
- IFSR International S...
- International Mathem...
- Law and Philosophy L...
- Logic, Epistemology,...
- Microgrid: design, o...
- Monographs in Comput...
- Springer Optimizatio...
- Studies in Computati...
- Synthese Library
- Synthese Library, St...
- The Western Ontario ...
- Trends in Logic
- Trends in Logic, Stu...
- Undergraduate Texts ...
- Undergraduate Topics...
- Universitext
- Show more
- Show less
-
Topics
- ALGEBRA.
- ARTIFICIAL INTELLIGE...
- ARTIFICIAL INTELLIGE...
- CIRCUITS AND SYSTEMS...
- COMBINATORICS.
- COMPUTER SCIENCE.
- ENGINEERING.
- LOGIC DESIGN.
- LOGIC, SYMBOLIC AND ...
- LOGIC.
- LOGICS AND MEANINGS ...
- MATHEMATICAL LOGIC A...
- MATHEMATICAL LOGIC A...
- MATHEMATICS.
- METAPHYSICS.
- NUMBER THEORY.
- PHILOSOPHY (GENERAL)
- PHILOSOPHY OF SCIENC...
- PHILOSOPHY.
- SCIENCE
- Show more
- Show less
