Search Results - "Mathematical logic"
Suggested Topics within your search.
Suggested Topics within your search.
- Logic, Symbolic and mathematical 12
- Mathematics 8
- Philosophy 4
- Proof theory 4
- Set theory 4
- MATHEMATICS / Logic 3
- MATHEMATICS / Set Theory 3
- History 2
- Logic 2
- MATHEMATICS / Mathematical Analysis 2
- Mathematical Logic and Foundations 2
- Affect (Psychology) 1
- Algebra, Abstract 1
- Algebra, Boolean 1
- Arithmetic 1
- Artificial intelligence 1
- Bioinformatics 1
- COMPUTERS 1
- Computational Biology/Bioinformatics 1
- Computer Science 1
- Computer science 1
- Computer simulation 1
- Foundations 1
- Game Theory, Economics, Social and Behav. Sciences 1
- Group theory 1
- Information Technology 1
- Language Translation and Linguistics 1
- Machine Theory 1
- Mathematical Logic and Formal Languages 1
- Model theory 1
-
1
Mathematical logic
Published 2003An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
2
Mathematical logic
Published 2007An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
3
Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
Published 2006An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
4
-
5
A tour through mathematical logic
Published 2005An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
6
Mathematical logic in the 20th century
Published 2003“…Mathematical logic in the twentieth century…”
An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
7
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 -
8
Essays on non-classical logic
Published 2001Subjects: “…Nonclassical mathematical logic.…”
An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
9
Foundational Theories of Classical and Constructive Mathematics
Published 2011Subjects: Get full text
Electronic eBook -
10
Proofs 101 : an introduction to formal mathematics /
Published 2021Subjects: Taylor & Francis
OCLC metadata license agreement
Electronic eBook -
11
Grammars for Language and Genes Theoretical and Empirical Investigations /
Published 2012Subjects: Get full text
Electronic eBook -
12
An Introduction to Mathematical Proofs
Published 2019Subjects: Taylor & Francis
OCLC metadata license agreement
Electronic eBook -
13
Passione per Trilli Alcune idee dalla matematica /
Published 2007Subjects: Get full text
Electronic eBook -
14
An elementary transition to abstract mathematics /
Published 2020Subjects: Taylor & Francis
OCLC metadata license agreement
Electronic eBook -
15
Ways of proof theory
Published 2010“…Ontos mathematical logic ;…”
An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
16
Logic, computation, hierarchies /
Published 2014“…Ontos mathematical logic ;…”
An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
17
Logic without borders /
Published 2015“…Ontos mathematical logic ;…”
An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
18
Concepts of proof in mathematics, philosophy, and computer science /
Published 2016“…Ontos mathematical logic ;…”
An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
19
Elementary concepts of modern mathematics.
Published 1964Table of Contents: “…Introduction to mathematical logic.--pt. 3. Abstract mathematical systems.…”
Book -
20
Logos and máthema studies in the philosophy of mathematics and history of logic /
Published 2011Table of Contents: “…Philosophy of mathematics in Poland -- pt. 4. Mathematical logic in Poland.…”
An electronic book accessible through the World Wide Web; click to view
Electronic eBook