Search Results - "Mathematical logic"
Suggested Topics within your search.
Suggested Topics within your search.
- Philosophy
- Logic, Symbolic and mathematical 27
- Mathematical Logic and Foundations 27
- Philosophy (General) 27
- Logic 25
- Philosophy of Science 14
- Science 14
- Mathematical Logic and Formal Languages 12
- Computer science 11
- Epistemology 9
- Genetic epistemology 8
- Mathematics 8
- Linguistics 5
- Philosophy of Language 5
- History of Philosophy 4
- Metaphysics 4
- Artificial Intelligence (incl. Robotics) 3
- Artificial intelligence 3
- Ontology 3
- Algebra 2
- Algorithms 2
- Game Theory, Economics, Social and Behav. Sciences 2
- History 2
- History of Mathematical Sciences 2
- Logic design 2
- Logics and Meanings of Programs 2
- Mathematical logic 2
- Phenomenology 2
- Physics 2
- Semantics 2
-
1
-
2
The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 /
Published 2010Table of Contents: “…part I. Mathematical logic, 1900-1935 -- part II. Foundations of mathematics -- part III. …”
An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
3
Truth and Falsehood An Inquiry into Generalized Logical Values /
Published 2012Subjects: Get full text
Electronic eBook -
4
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
Published 2008Subjects: Get full text
Electronic eBook -
5
Information and Knowledge A Constructive Type-theoretical Approach /
Published 2008Subjects: Get full text
Electronic eBook -
6
Proof, Computation and Agency Logic at the Crossroads /
Published 2011Subjects: Get full text
Electronic eBook -
7
Fading Foundations Probability and the Regress Problem /
Published 2017Subjects: Get full text
Electronic eBook -
8
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
Published 2006Subjects: Get full text
Electronic eBook -
9
-
10
-
11
Games: Unifying Logic, Language, and Philosophy
Published 2009Subjects: Get full text
Electronic eBook -
12
Brouwer Meets Husserl On the Phenomenology of Choice Sequences /
Published 2007Subjects: Get full text
Electronic eBook -
13
Foundational Theories of Classical and Constructive Mathematics
Published 2011Subjects: Get full text
Electronic eBook -
14
-
15
The Arch Papers on the Mathematics of Abstraction
Published 2007Subjects: Get full text
Electronic eBook -
16
Strict Finitism and the Logic of Mathematical Applications
Published 2011Subjects: Get full text
Electronic eBook -
17
Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
Published 2007Subjects: Get full text
Electronic eBook -
18
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
Published 2012Subjects: Get full text
Electronic eBook -
19
A logical Approach to Philosophy Essays in Honour of Graham Solomon /
Published 2006Subjects: Get full text
Electronic eBook -
20