Bilaketaren emaitzak
Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
- Formal Languages and Automata Theory 29
- Machine theory
- Logic 20
- Mathematical Logic and Foundations 20
- Mathematical logic 20
- Philosophy 7
- Mathematics 6
- Epistemology 5
- Knowledge, Theory of 5
- Philosophy of Mathematics 5
- Semiotics 4
- Language and languages 3
- Philosophy of Language 3
- Computer science 2
- History 2
- History of Philosophy 2
- Mathematical physics 2
- Theoretical, Mathematical and Computational Physics 2
- Algebra 1
- Analysis 1
- Analysis (Philosophy) 1
- Analytic Philosophy 1
- Computer Science Logic and Foundations of Programming 1
- Computers and Society 1
- Computers and civilization 1
- Data Structures and Information Theory 1
- Data structures (Computer science) 1
- Differential Geometry 1
- Ethics 1
- Game Theory 1
-
1
-
2
-
3
Conceptual Spaces: Elaborations and Applications
Argitaratua 2019Testu osoa
Baliabide elektronikoa Liburua -
4
Reflections on the Foundations of Mathematics Univalent Foundations, Set Theory and General Thoughts /
Argitaratua 2019Testu osoa
Baliabide elektronikoa Liburua -
5
The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
Argitaratua 2019Testu osoa
Baliabide elektronikoa Liburua -
6
Mathesis Universalis, Computability and Proof
Argitaratua 2019Testu osoa
Baliabide elektronikoa Liburua -
7
Constructive Semantics Meaning in Between Phenomenology and Constructivism /
Argitaratua 2019Testu osoa
Baliabide elektronikoa Liburua -
8
Graham Priest on Dialetheism and Paraconsistency
Argitaratua 2019Testu osoa
Baliabide elektronikoa Liburua -
9
-
10
Iceberg Semantics for Mass Nouns and Count Nouns A New Framework for Boolean Semantics /
Argitaratua 2020Testu osoa
Baliabide elektronikoa Liburua -
11
Hajnal Andréka and István Németi on Unity of Science From Computing to Relativity Theory Through Algebraic Logic /
Argitaratua 2021Testu osoa
Baliabide elektronikoa Liburua -
12
Readings in Formal Epistemology Sourcebook /
Argitaratua 2016Testu osoa
Baliabide elektronikoa Liburua -
13
Perspectives on Interrogative Models of Inquiry Developments in Inquiry and Questions /
Argitaratua 2016Testu osoa
Baliabide elektronikoa Liburua -
14
J. Michael Dunn on Information Based Logics
Argitaratua 2016Testu osoa
Baliabide elektronikoa Liburua -
15
Rohit Parikh on Logic, Language and Society
Argitaratua 2017Testu osoa
Baliabide elektronikoa Liburua -
16
Controlling Language in Industry Controlled Languages for Technical Documents /
Argitaratua 2017Testu osoa
Baliabide elektronikoa Liburua -
17
Structures and Algorithms Mathematics and the Nature of Knowledge /
Argitaratua 2018Testu osoa
Baliabide elektronikoa Liburua -
18
Logical Form Between Logic and Natural Language /
Argitaratua 2018Testu osoa
Baliabide elektronikoa Liburua -
19
Intuitionistic Proof Versus Classical Truth The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics /
Argitaratua 2018Testu osoa
Baliabide elektronikoa Liburua -
20
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Argitaratua 2018Testu osoa
Baliabide elektronikoa Liburua