Cover Image
Read Now

1
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

2
by Rasiowa, Helena
Published 1974
North-Holland Pub. Co.
Subjects: “...Algebraic logic / fast / (OCoLC)fst00804936...”
Cover Image
Read Now

3
by Hellman, Geoffrey
Published 2021
Cambridge University Press
Subjects: “...Logic, Symbolic and mathematical...”
Cover Image
Read Now

4
Published 2016
Cambridge University Press
“...Perspectives in logic...”
Cover Image
Read Now

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

6
by van Dalen, Dirk
Published 2013
Springer London
Table of Contents: “...Introduction -- Propositional Logic -- Predicate Logic -- Completeness and Applications -- Second...”
Cover Image
Read Now

7
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...”
Cover Image
Read Now

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

9
Published 1975
Springer Berlin Heidelberg
Table of Contents: “...Back-and-forth arguments and infinitary logics -- Consistency properties for finite quantifier...”
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 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

12
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

13
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

14
by Csirmaz, Laszlo, Gyenis, Zalán
Published 2022
Springer International Publishing
Table of Contents: “... logic -- Chapter 7 - Fundamental Theorems -- Chapter 8 - Elementary Equivalence -- Chapter 9...”
Cover Image
Read Now

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

16
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

17
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

18
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

19
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

20
Published 2016
Birkhäuser
Table of Contents: “...Introduction -- Durand, Kontinen, Vollmer, Expressivity and Complexity of Dependence Logic...”