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

3
by Stark, W. Richard
Published 1990
Springer New York
Table of Contents: “... and interpreting: an abstract view -- 6.2 LISP interpreters -- 6.3 Compiled LISP -- 7 Mathematical Foundations...”
Cover Image
Read Now

4
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

5
Published 1989
Springer Netherlands
Table of Contents: “..., and Opacity in Relevant Logic -- 21. Relevance Logic and Inferential Knowledge -- 22. Semantics Unlimited I: A...”
Cover Image
Read Now

6
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

7
by Husserl, Edmund
Published 1969
Springer Netherlands
Table of Contents: “... and mathematics of the rules of the game -- § 34. Complete formal mathematics identical with complete logical...”
Cover Image
Read Now

8
by Nait Abdallah, Areski
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... of Partial Propositional Logic -- 2.1.3.3 Saturated Pairs of Sets -- 2.1.4 Semantic Entailment -- 2.2 Beth...”
Cover Image
Read Now

9
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Logics -- An Operational Model for Parsing De.nite Clause Grammars with In.nite Terms -- Mathematical...”
Cover Image
Read Now

10
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

11
by Marx, Maarten, Venema, Yde
Published 1997
Springer Netherlands
Table of Contents: “... to read this book -- 2 Two-dimensional modal logics -- 2.1 Operations on the square universe -- 2.2...”
Cover Image
Read Now

12
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

13
Published 1998
Springer US
Table of Contents: “... -- 2.1 Introduction -- 2.2 First-Order Logic (FOL) -- 2.3 Modal Logics -- 2.4 Logic Programming -- 2.5...”
Cover Image
Read Now

14
by Fitting, M., Mendelsohn, Richard L.
Published 1998
Springer Netherlands
Table of Contents: “... -- 2.2 Tableaus -- 2.3 More Tableau Systems -- 2.4 Logical Consequence and Tableaus -- 2.5 Tableaus Work...”
Cover Image
Read Now

15
by Sasao, Tsutomu
Published 1999
Springer US
Table of Contents: “...1 Mathematical Foundation -- 1.1 Set -- 1.2 Relation -- 1.3 Equivalence Class -- 1.4 Function...”
Cover Image
Read Now

16
Published 2000
Springer US
Table of Contents: “...I Introduction to Logic-Based Artificial Intelligence -- 1 Introduction to Logic-Based Artificial...”
Cover Image
Read Now

17
by García de la Sienra, Adolfo
Published 1992
Springer Netherlands
Table of Contents: “... of the prototype -- 1.3 Mathematical modeling of the prototype -- 2 The Problem of Foundations -- 2.1 The sense...”
Cover Image
Read Now

18
by Johnson, D.L.
Published 1998
Springer London
Table of Contents: “.... Logic -- 2.1 Propositions -- 2.2 Truth Tables -- 2.3 Syllogisms -- 2.4 Quantifiers -- 3. Sets -- 3.1...”
Cover Image
Read Now

19
by Coletti, Giulianella, Scozzafava, R.
Published 2002
Springer Netherlands
Table of Contents: “... as Propositions -- 2.1 Basic concepts -- 2.2 From “belief” to logic? -- 2.3 Operations -- 2.4 Atoms (or “possible...”
Cover Image
Read Now

20
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... functional logic programming -- Exploiting parallelism in tabled evaluations -- Design and implementation...”