Cover Image
Read Now

1
by Von Plato, Jan
Published 2013
Cambridge University Press
Table of Contents: “...Machine generated contents note: Part I. First Steps in Logical Reasoning: 1. Starting points; 2...”
Cover Image
Read Now

2
by Rybakov, Vladimir V.
Published 1997
Elsevier
Subjects: “...Logic, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115...”
Cover Image
Read Now

3
by Benthem, Johan van
Published 2011
Cambridge University Press
Table of Contents: “...Preface; 1. Logical dynamics, agency, and intelligent interaction; 2. Epistemic logic and semantic...”
Cover Image
Read Now

4
by Cantini, Andrea
Published 1996
Elsevier Science B.V.
Subjects: “...Logic, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115...”
Cover Image
Read Now

5
by Cook, Stephen, Nguyen, Phuong
Published 2010
Cambridge University Press
Subjects: “...Logic, Symbolic and mathematical...”
Cover Image
Read Now

6
Published 1990
Springer US
Table of Contents: “...Heyting Session (Invited Papers) -- On the Early History of Intuitionistic Logic -- Heyting...”
Cover Image
Read Now

7
by Lightstone, A.
Published 1978
Springer US
Subjects: “...Mathematical logic...”
Cover Image
Read Now

8
by Bimbó, Katalin
Published 2012
CRC Press
Table of Contents: “...Preface; Elements of combinatory logic ; Objects, combinators and terms; Various kinds...”
Cover Image
Read Now

9
by van Dalen, Dirk
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Propositional Logic -- Predicate Logic -- Completeness and Applications -- Second Order Logic...”
Cover Image
Read Now

10
Published 2002
Physica
Table of Contents: “...Towards Robot Soccer Controlled by Fuzzy Logic -- Indexing and Retrieval of Fuzzy Shapes -- 3...”
Cover Image
Read Now

11
by Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang
Published 2021
Springer International Publishing
Table of Contents: “... Theorem -- VII The Scope of First-Order Logic -- VIII Syntactic Interpretations and Normal Forms -- B...”
Cover Image
Read Now

12
Published 1975
Springer Berlin Heidelberg
Table of Contents: “...Back-and-forth arguments and infinitary logics -- Consistency properties for finite quantifier...”
Cover Image
Read Now

13
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... terms in Prolog -- Compiling Flang -- FIDO: Finite domain consistency techniques in logic programming...”
Cover Image
Read Now

14
by Gerla, G.
Published 2001
Springer Netherlands
Table of Contents: “...1. Abstract logic in a lattice -- 2. Abstract fuzzy logic -- 3. Extending an abstract crisp logic...”
Cover Image
Read Now

15
by Gauthier, Y.
Published 2002
Springer Netherlands
Table of Contents: “... to Brouwer -- 6. Hilbert and the Foundations of Physics -- 7. Conclusion. Internal logic: From Kronecker...”
Cover Image
Read Now

16
by Czelakowski, Janusz
Published 2001
Springer Netherlands
Table of Contents: “...0. Basic definitions and facts -- I. Protoalgebraic Logics. The Leibniz Operator -- 1...”
Cover Image
Read Now

17
by Monk, J.D.
Published 1976
Springer New York
Table of Contents: “... Elements of Logic -- 8. Sentential logic -- 9. Boolean algebra -- 10. Syntactics of first-order languages...”
Cover Image
Read Now

18
by Dalen, Dirk van
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...0. Introduction -- 1. Propositional Logic -- 2. Predicate Logic -- 3. Completeness and Applications...”
Cover Image
Read Now

19
by Dalen, Dirk van
Published 1983
Springer Berlin Heidelberg
Table of Contents: “...0. Introduction -- 1. Propositional Logic -- 2. Predicate Logic -- 3. Completeness and Applications...”
Cover Image
Read Now

20
by Ebbinghaus, H.-D., Flum, J., Thomas, Wolfgang
Published 1994
Springer New York
Table of Contents: “... Theorem -- VII The Scope of First-Order Logic -- VIII Syntactic Interpretations and Normal Forms -- B...”