Resultados da pesquisa
Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
- Formal Languages and Automata Theory
- Machine theory 29
- 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
The Everyday Life of an Algorithm
Publicado em 2019Obter o texto integral
Recurso Electrónico Livro -
2
Philosophical and Mathematical Logic
Publicado em 2018Obter o texto integral
Recurso Electrónico Livro -
3
Conceptual Spaces: Elaborations and Applications
Publicado em 2019Obter o texto integral
Recurso Electrónico Livro -
4
Reflections on the Foundations of Mathematics Univalent Foundations, Set Theory and General Thoughts /
Publicado em 2019Obter o texto integral
Recurso Electrónico Livro -
5
The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
Publicado em 2019Obter o texto integral
Recurso Electrónico Livro -
6
Mathesis Universalis, Computability and Proof
Publicado em 2019Obter o texto integral
Recurso Electrónico Livro -
7
Constructive Semantics Meaning in Between Phenomenology and Constructivism /
Publicado em 2019Obter o texto integral
Recurso Electrónico Livro -
8
Graham Priest on Dialetheism and Paraconsistency
Publicado em 2019Obter o texto integral
Recurso Electrónico Livro -
9
-
10
Iceberg Semantics for Mass Nouns and Count Nouns A New Framework for Boolean Semantics /
Publicado em 2020Obter o texto integral
Recurso Electrónico Livro -
11
Hajnal Andréka and István Németi on Unity of Science From Computing to Relativity Theory Through Algebraic Logic /
Publicado em 2021Obter o texto integral
Recurso Electrónico Livro -
12
Readings in Formal Epistemology Sourcebook /
Publicado em 2016Obter o texto integral
Recurso Electrónico Livro -
13
Perspectives on Interrogative Models of Inquiry Developments in Inquiry and Questions /
Publicado em 2016Obter o texto integral
Recurso Electrónico Livro -
14
J. Michael Dunn on Information Based Logics
Publicado em 2016Obter o texto integral
Recurso Electrónico Livro -
15
Rohit Parikh on Logic, Language and Society
Publicado em 2017Obter o texto integral
Recurso Electrónico Livro -
16
Controlling Language in Industry Controlled Languages for Technical Documents /
Publicado em 2017Obter o texto integral
Recurso Electrónico Livro -
17
Structures and Algorithms Mathematics and the Nature of Knowledge /
Publicado em 2018Obter o texto integral
Recurso Electrónico Livro -
18
Logical Form Between Logic and Natural Language /
Publicado em 2018Obter o texto integral
Recurso Electrónico Livro -
19
Intuitionistic Proof Versus Classical Truth The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics /
Publicado em 2018Obter o texto integral
Recurso Electrónico Livro -
20
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Publicado em 2018Obter o texto integral
Recurso Electrónico Livro