Search alternatives:
22mathematical logic » mathematics logic, mathematical logical, mathematical magic
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

5
Published 2001
Springer Netherlands
Table of Contents: “... logic -- On hyperfinite approximations of the field R -- Various continuity properties in constructive...”
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
by Bradfield, Julian
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: “...Mathematical Logic and Foundations...”
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

10
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

11
by Metakides, George
Published 1982
North-Holland Pub. Co.
Subjects: “...Logic, Symbolic and mathematical / fast / (OCoLC)fst01002068...”
Cover Image
Read Now

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

13
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
Published 2011
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

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

17
by Ferro, R.
Published 1989
North-Holland
Subjects: “...Logic, Symbolic and mathematical / fast / (OCoLC)fst01002068...”
Cover Image
Read Now

18
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

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

20
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...”