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

21
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

22
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

23
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

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

25
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

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

27
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

28
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

29
Published 2018
Springer International Publishing
Table of Contents: “...Constructive mathematics and type theory -- Homotopy type theory -- Logic, automata, and automatic...”
Cover Image
Read Now

30
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... games, the composition method, and the monadic theory of ordinal words -- Monadic second order logic...”
Cover Image
Read Now

31
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

32
Published 2022
Springer International Publishing
Table of Contents: “... -- Chapter 2. Universal algebraic methods for non-classical logics (James G. Raftery) -- Chapter 3. Abstract...”
Cover Image
Read Now

33
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

34
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

35
Published 2022
Springer International Publishing
Table of Contents: “...) -- Chapter 3. Logic without Assumptions (1947) (Karl R. Popper) -- Chapter 4. New Foundations for Logic (1947...”
Cover Image
Read Now

36
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

37
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

38
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

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

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