Search alternatives:
mathematical logical » mathematical logic, mathematical physical, mathematical legacy
Cover Image
Read Now

1
by Monk, J.D.
Published 1976
Springer New York
Table of Contents: “... mathematics -- 21. Complete theories -- 22. The interpolation theorem -- 23. Generalized products -- 24...”
Cover Image
Read Now

2
Published 1969
Springer Berlin Heidelberg
Table of Contents: “... of Cardinal Numbers -- The Use of Symbolic Logic in Proving Mathematical Theorems by Means of a Digital...”
Cover Image
Read Now

3
by Malitz, Jerome
Published 1979
Springer New York
Table of Contents: “... to Computability Theory -- 2.1 Introduction -- 2.2 Turing Machines -- 2.3 Etemonstrating Computability without...”
Cover Image
Read Now

4
by Fraïssé, R.
Published 1974
Springer Netherlands
Table of Contents: “.... Logical Convergence -- 2.2. Compactness Theorem -- 2.3. Omission Theorem -- 2.4. Interpretability Theorem...”
Cover Image
Read Now

6
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... for Linear Logic -- A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive...”
Cover Image
Read Now

7
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... for constructive fallacies -- Algebraic methods in the compositional analysis of logic programs -- Longest common...”
Cover Image
Read Now

8
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...: Constructions in Monadic Second-Order Logic -- On the Complexity of Hybrid Logics with Binders -- The Complexity...”
Cover Image
Read Now

9
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- Polynomial Time Approximation Schemes and Parameterized Complexity -- Semantics -- Epistemic Foundation...”
Cover Image
Read Now

10
Published 2001
Springer Netherlands
Table of Contents: “... logic -- On hyperfinite approximations of the field R -- Various continuity properties in constructive...”
Cover Image
Read Now

11
Published 2011
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

12
by Bradfield, Julian
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: “...Mathematical Logic and Foundations...”
Cover Image
Read Now

13
by Fejer, Peter A., Simovici, Dan A.
Published 1991
Springer New York
Table of Contents: “... Introduction -- 2.2 Relations -- 2.3 Functions -- 2.4 Sequences, Words, and Matrices -- 2.5 Images of Sets...”
Cover Image
Read Now

14
by Ben-Ari, Mordechai
Published 2001
Springer London
Table of Contents: “...1 Introduction -- 1.1 The origins of mathematical logic -- 1.2 Propositional calculus -- 1.3...”
Cover Image
Read Now

15
by Hájek, Petr
Published 1998
Springer Netherlands
Table of Contents: “... and their residua -- 2.2 The basic many-valued logic -- 2.3 Residuated lattices; a completeness theorem -- 2.4 Some...”
Cover Image
Read Now

16 Table of Contents: “... Closure systems -- 1.8 First order logic (FOL) -- 2 Basics from Universal Algebra.-2.1 Examples...”
Cover Image
Read Now

17
by Gottwald, Siegfried
Published 1993
Vieweg+Teubner Verlag
Table of Contents: “...1 Logical Preliminaries -- 1.1 Basic notions -- 1.2 t-norms and ?-operators -- 1.3 t-norm based...”
Cover Image
Read Now

18
by Gunter, Elsa L
Published 1997
Springer Berlin Heidelberg
Subjects: “...Mathematical Logic and Foundations...”
Cover Image
Read Now

20
Published 2015
Birkhäuser
Table of Contents: “...22. Sergei Odintsov: Belnap constants and Nelson logic -- 23. Hitoshi Omori and Toshiharu Waragai...”