Search alternatives:
22mathematical logic » mathematical logic, mathematics logic, mathematical logical
Cover Image
Read Now

2
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

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

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

5
Published 1975
Springer Berlin Heidelberg
Table of Contents: “... of programs -- Mathematical model of programs with dynamic allocation of variables -- Mathematical foundations...”
Cover Image
Read Now

6
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... the specification techniques of graph transformation and temporal logic -- On the generation of trees by hyperedge...”
Cover Image
Read Now

7
by Agrawal, Manindra
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: “...Mathematical Logic and Formal Languages...”
Cover Image
Read Now

8
by Thomas, Wolfgang
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects: “...Mathematical Logic and Formal Languages...”
Cover Image
Read Now

9
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

10
by Curry, Haskell B.
Published 1958
North-Holland
Table of Contents: “... of combinators -- Synthetic theory of combinators -- Logistic foundations -- Introduction to illative combinatory...”
Cover Image
Read Now

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

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

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

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

15
by Gandy, R. O.
Published 1977
North-Holland Pub. Co.
Table of Contents: “... The foundations of mathematics in Poland after World War II; Chapter 5 A tribute to A. Mostowski; PART TWO HISTORY...”
Cover Image
Read Now

16
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

17
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

18
by Macintyre, Angus
Published 1978
North Holland Pub. Co.
Table of Contents: “...Front Cover; Logic Colloquium''77; Copyright Page; Contents; Preface; Chapter 1. The elementary...”
Cover Image
Read Now

19
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”
Cover Image
Read Now

20
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Invited Lectures -- Limit-Computable Mathematics and Its Applications -- Automata, Logic, and XML...”