Cover Image
Read Now

1
by Smullyan, Raymond R.
Published 1968
Springer Berlin Heidelberg
Table of Contents: “... Tableaux -- III. Compactness -- II. First-Order Logic -- IV. First-Order Logic. Preliminaries -- V. First...”
Cover Image
Read Now

2
by Mann, Allen L., Sandu, Gabriel, Sevenster, Merlijn
Published 2011
Cambridge University Press
Subjects: “...First-order logic...”
Cover Image
Read Now

3
by Casanovas, Enrique
Published 2011
Cambridge University Press
Subjects: “...First-order logic...”
Cover Image
Read Now

4
by Groza, Adrian
Published 2021
Springer International Publishing
“... new, complete, and running formalisation in Propositional and First Order Logic for over 130 logical...”
Cover Image
Read Now

5
by Fitting, Melvin
Published 1996
Springer New York
Table of Contents: “... The Sequent Calculus -- 4.4 The Davis-Putnam Procedure -- 4.5 Computational Complexity -- 5 First-Order Logic...”
Cover Image
Read Now

6
by Fitting, Melvin
Published 1990
Springer New York
Table of Contents: “... First-Order Logic -- 5.1 First-Order Logic — Syntax -- 5.2 Substitutions -- 5.3 First-Order Semantics...”
Cover Image
Read Now

8
by Diaconescu, Răzvan
Published 2023
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: “...first-order logic...”
Cover Image
Read Now

9
by Ben-Ari, Mordechai
Published 2012
Springer London
Table of Contents: “... -- Propositional Logic: SAT Solvers -- First-Order Logic: Formulas, Models, Tableaux -- First-Order Logic...”
Cover Image
Read Now

10
by Srivastava, Shashi Mohan
Published 2008
Springer New York
Table of Contents: “...Syntax of First-Order Logic -- Semantics of First-Order Languages -- Propositional Logic -- Proof...”
Cover Image
Read Now

11
by Goranko, Valentin
Published 2016
Wiley
Table of Contents: “... first-order logic -- Deductive reasoning in first-order logic -- Applications : mathematical proofs...”
Cover Image
Read Now

12
by Andrews, Peter B.
Published 2002
Springer Netherlands
Table of Contents: “...0 Introduction -- 1 Propositional Calculus -- 2 First-Order Logic -- 3 Provability and Refutability...”
Cover Image
Read Now

13
by Srivastava, Shashi Mohan
Published 2013
Springer New York
Table of Contents: “...Preface -- 1 Syntax of First-Order Logic -- 2 Semantics of First-Order Languages -- 3 Propositional...”
Cover Image
Read Now

14
by Kaye, Richard
Published 2007
Cambridge University Press
Table of Contents: “... algebras -- Propositional logic -- Valuations -- Filters and ideals -- First-order logic -- Completeness...”
Cover Image
Read Now

15
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

16
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

17
by Besnard, Philippe
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... Logic -- 4. Nonmonotonic Extensions for First Order Logic -- 5. Presentation of Default Logic -- 6...”
Cover Image
Read Now

18
by Prestel, Alexander, Delzell, Charles N.
Published 2011
Springer London
Table of Contents: “...First-Order Logic -- Model Constructions -- Properties of Model Classes -- Model Theory of Several...”
Cover Image
Read Now

19
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Discovery in Databases -- II. Techniques -- 5. Three Companions for Data Mining in First Order Logic -- 6...”
Cover Image
Read Now

20
by Metcalfe, George, Olivetti, Nicola, Gabbay, Dov M.
Published 2009
Springer Netherlands
Table of Contents: “... Logics -- Uniformity and Efficiency -- First-Order Logics -- Further Topics...”