Результаты поиска
Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
- 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
Опубликовано 2019Полный текст
Электронный ресурс Книга -
4
Reflections on the Foundations of Mathematics Univalent Foundations, Set Theory and General Thoughts /
Опубликовано 2019Полный текст
Электронный ресурс Книга -
5
The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
Опубликовано 2019Полный текст
Электронный ресурс Книга -
6
Mathesis Universalis, Computability and Proof
Опубликовано 2019Полный текст
Электронный ресурс Книга -
7
Constructive Semantics Meaning in Between Phenomenology and Constructivism /
Опубликовано 2019Полный текст
Электронный ресурс Книга -
8
Graham Priest on Dialetheism and Paraconsistency
Опубликовано 2019Полный текст
Электронный ресурс Книга -
9
-
10
Iceberg Semantics for Mass Nouns and Count Nouns A New Framework for Boolean Semantics /
Опубликовано 2020Полный текст
Электронный ресурс Книга -
11
Hajnal Andréka and István Németi on Unity of Science From Computing to Relativity Theory Through Algebraic Logic /
Опубликовано 2021Полный текст
Электронный ресурс Книга -
12
Readings in Formal Epistemology Sourcebook /
Опубликовано 2016Полный текст
Электронный ресурс Книга -
13
Perspectives on Interrogative Models of Inquiry Developments in Inquiry and Questions /
Опубликовано 2016Полный текст
Электронный ресурс Книга -
14
-
15
-
16
Controlling Language in Industry Controlled Languages for Technical Documents /
Опубликовано 2017Полный текст
Электронный ресурс Книга -
17
Structures and Algorithms Mathematics and the Nature of Knowledge /
Опубликовано 2018Полный текст
Электронный ресурс Книга -
18
Logical Form Between Logic and Natural Language /
Опубликовано 2018Полный текст
Электронный ресурс Книга -
19
Intuitionistic Proof Versus Classical Truth The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics /
Опубликовано 2018Полный текст
Электронный ресурс Книга -
20
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Опубликовано 2018Полный текст
Электронный ресурс Книга