Torthaí cuardaigh
Topaicí molta laistigh de do chuardach.
Topaicí molta laistigh de do chuardach.
- 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
Foilsithe / Cruthaithe 2019Faigh an téacs iomlán
Leictreonach LEABHAR -
2
Philosophical and Mathematical Logic
Foilsithe / Cruthaithe 2018Faigh an téacs iomlán
Leictreonach LEABHAR -
3
Conceptual Spaces: Elaborations and Applications
Foilsithe / Cruthaithe 2019Faigh an téacs iomlán
Leictreonach LEABHAR -
4
Reflections on the Foundations of Mathematics Univalent Foundations, Set Theory and General Thoughts /
Foilsithe / Cruthaithe 2019Faigh an téacs iomlán
Leictreonach LEABHAR -
5
The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
Foilsithe / Cruthaithe 2019Faigh an téacs iomlán
Leictreonach LEABHAR -
6
Mathesis Universalis, Computability and Proof
Foilsithe / Cruthaithe 2019Faigh an téacs iomlán
Leictreonach LEABHAR -
7
Constructive Semantics Meaning in Between Phenomenology and Constructivism /
Foilsithe / Cruthaithe 2019Faigh an téacs iomlán
Leictreonach LEABHAR -
8
Graham Priest on Dialetheism and Paraconsistency
Foilsithe / Cruthaithe 2019Faigh an téacs iomlán
Leictreonach LEABHAR -
9
New Essays on Belnap-Dunn Logic
Foilsithe / Cruthaithe 2019Faigh an téacs iomlán
Leictreonach LEABHAR -
10
Iceberg Semantics for Mass Nouns and Count Nouns A New Framework for Boolean Semantics /
Foilsithe / Cruthaithe 2020Faigh an téacs iomlán
Leictreonach LEABHAR -
11
Hajnal Andréka and István Németi on Unity of Science From Computing to Relativity Theory Through Algebraic Logic /
Foilsithe / Cruthaithe 2021Faigh an téacs iomlán
Leictreonach LEABHAR -
12
Readings in Formal Epistemology Sourcebook /
Foilsithe / Cruthaithe 2016Faigh an téacs iomlán
Leictreonach LEABHAR -
13
Perspectives on Interrogative Models of Inquiry Developments in Inquiry and Questions /
Foilsithe / Cruthaithe 2016Faigh an téacs iomlán
Leictreonach LEABHAR -
14
J. Michael Dunn on Information Based Logics
Foilsithe / Cruthaithe 2016Faigh an téacs iomlán
Leictreonach LEABHAR -
15
Rohit Parikh on Logic, Language and Society
Foilsithe / Cruthaithe 2017Faigh an téacs iomlán
Leictreonach LEABHAR -
16
Controlling Language in Industry Controlled Languages for Technical Documents /
Foilsithe / Cruthaithe 2017Faigh an téacs iomlán
Leictreonach LEABHAR -
17
Structures and Algorithms Mathematics and the Nature of Knowledge /
Foilsithe / Cruthaithe 2018Faigh an téacs iomlán
Leictreonach LEABHAR -
18
Logical Form Between Logic and Natural Language /
Foilsithe / Cruthaithe 2018Faigh an téacs iomlán
Leictreonach LEABHAR -
19
Intuitionistic Proof Versus Classical Truth The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics /
Foilsithe / Cruthaithe 2018Faigh an téacs iomlán
Leictreonach LEABHAR -
20
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Foilsithe / Cruthaithe 2018Faigh an téacs iomlán
Leictreonach LEABHAR