Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 16
- Logic
- Mathematical Logic and Formal Languages
- Philosophy 16
- Philosophy (General)
- Logic, Symbolic and mathematical 10
- Mathematical Logic and Foundations 10
- Linguistics 6
- Philosophy of Language 6
- Artificial Intelligence (incl. Robotics) 4
- Artificial intelligence 4
- Epistemology 4
- Genetic epistemology 4
- Game Theory, Economics, Social and Behav. Sciences 2
- History of Philosophy 2
- Logic design 2
- Logics and Meanings of Programs 2
- Mathematics 2
- Medieval Philosophy 2
- Metaphysics 2
- Non-Western Philosophy 2
- Ontology 2
- Philosophy of Science 2
- Philosophy, medieval 2
- Philosophy, modern 2
- Science 2
- Semantics 2
-
1
-
2
Information and Knowledge A Constructive Type-theoretical Approach /
Published 2008Get full text
Electronic eBook -
3
-
4
-
5
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
Published 2008Get full text
Electronic eBook -
6
-
7
Proof, Computation and Agency Logic at the Crossroads /
Published 2011Get full text
Electronic eBook -
8
Truth and Falsehood An Inquiry into Generalized Logical Values /
Published 2012Get full text
Electronic eBook -
9
-
10
Information and Knowledge A Constructive Type-theoretical Approach /
Published 2008Get full text
Electronic eBook -
11
-
12
-
13
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
Published 2008Get full text
Electronic eBook -
14
-
15
Proof, Computation and Agency Logic at the Crossroads /
Published 2011Get full text
Electronic eBook -
16
Truth and Falsehood An Inquiry into Generalized Logical Values /
Published 2012Get full text
Electronic eBook