Cover Image
Read Now

1
by Li, Wei
Published 2010
Birkhäuser
Subjects: “...Mathematical Logic and Foundations...”
Cover Image
Read Now

2
by Li, Wei
Published 2014
Birkhäuser
Table of Contents: “...Preface -- Preface to the Second Edition -- I Elements of Mathematical Logic -- 1 Syntax of First...”
Cover Image
Read Now

3
by Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang
Published 2021
Springer International Publishing
Table of Contents: “... Theorem -- VII The Scope of First-Order Logic -- VIII Syntactic Interpretations and Normal Forms -- B...”
Cover Image
Read Now

4
by Kossak, Roman
Published 2024
Springer International Publishing
Table of Contents: “...Part I: Logic, Sets, and Numbers -- Chapter 1. First-order Logic -- Chapter 2. Logical seeing...”
Cover Image
Read Now

5
Published 2011
Springer Berlin Heidelberg
Subjects: “...Mathematical Logic and Foundations...”
Cover Image
Read Now

6
by Marker, David
Published 2024
Springer Nature Switzerland
Subjects: “...Mathematical Logic and Foundations...”
Cover Image
Read Now

7
by Montano, Ulianov
Published 2014
Springer International Publishing
Table of Contents: “.... Naturalizing the Aesthetic Induction -- Part 2. An Aesthetics of Mathematics -- Chapter 6. Introduction to a...”
Cover Image
Read Now

8
by Pollard, Stephen
Published 2014
Springer International Publishing
Table of Contents: “.... Chapter 6: Frege Arithmetic -- Chapter 7: Intuitionist Logic -- Chapter 8. Solutions of Odd-Numbered...”
Cover Image
Read Now

9
Published 2016
Springer International Publishing
Table of Contents: “...Preface -- Brendan Larvor: What are mathematical cultures? -- Benedikt Löwe: Philosophy...”
Cover Image
Read Now

10
by Nievergelt, Yves
Published 2015
Springer New York
Table of Contents: “...Preface -- 1. Propositional Logic: Proofs from Axioms and Inference Rules -- 2. First Order Logic...”
Cover Image
Read Now

11
by Santos, Paulo Guilherme
Published 2020
Springer Fachmedien Wiesbaden
Table of Contents: “...Diagonalization in Mathematics -- Diagonalization Lemma -- Fixed Point Theorems -- Paradoxes: Liar...”
Cover Image
Read Now

12
Published 2013
Springer Netherlands
Table of Contents: “...Introduction -- Part I. What are Mathematical Arguments? -- Chapter 1. Non-Deductive Logic...”
Cover Image
Read Now

13
by Friend, Michèle
Published 2014
Springer Netherlands
Table of Contents: “... of Pluralism -- Chapter 6. Using a Formal Theory of Logic Metaphorically -- Chapter 7. Rigour in Proof Co...”
Cover Image
Read Now

14
by Urbaniak, Rafal
Published 2014
Springer International Publishing
Subjects: “...Mathematical Logic and Foundations...”
Cover Image
Read Now

15
by Srivastava, Shashi Mohan
Published 2008
Springer New York
Table of Contents: “...Syntax of First-Order Logic -- Semantics of First-Order Languages -- Propositional Logic -- Proof...”
Cover Image
Read Now

16
by Pudlák, Pavel
Published 2013
Springer International Publishing
Table of Contents: “...Mathematician’s world -- Language, logic and computations -- Set theory -- Proofs of impossibility...”
Cover Image
Read Now

17
Published 2017
Springer International Publishing
Table of Contents: “... . Predicativity -- Unfolding 2 -- Semi-constructive systems III. Axiomatic Foundations -- Explicit Mathematics...”
Cover Image
Read Now

18
Published 2021
Springer Nature Singapore
Table of Contents: “..., Interpolation properties for Sacchetti’s logics -- T. Kurahashi, Rosser provability and the second...”
Cover Image
Read Now

19
by Lev, Felix
Published 2020
Springer International Publishing
Table of Contents: “... in discrete basis -- Why finite mathematics is the most general and finite quantum theory is more pertinent...”
Cover Image
Read Now

20
Published 2011
Springer Netherlands
Table of Contents: “...Introduction : Giovanni Sommaruga Part I: Senses of ‚foundations of mathematics’ Bob Hale...”