Refine your search
- Availability
-
Authors
- Gabbay, D. M (1)
- Gabbay, D.M. (3)
- Gabbay,D. M. (2)
- Guenthner, F. (3)
- Wolter, F (1)
- Show more
- Holding libraries
- Home libraries
-
Item types
-
Series
-
Topics
- Artificial Intelligence (1)
- Computational Linguistics (1)
- Computer logic. (1)
- Definability Theory (Mathematical Logic) (1)
- Interpolation (1)
- Language and languages (1)
- Logic. (3)
- Logics and Meanings of Programs. (1)
- Mathematical Logic and Formal Languages. (1)
- Mathematical logic. (1)
- Mathematics, general. (1)
- Mathematics. (1)
- Modality (Logic) (2)
- Natural Language Processing ( Computer Science) (1)
- Philosophy and science. (1)
- Philosophy of Language. (1)
- Philosophy of Science. (1)
- Philosophy, general. (2)
- Philosophy. (2)