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

1
by Mueller, Erik T.
Published 2006
Morgan Kaufmann Publishers
Table of Contents: “... -- Part VIII: Appendices -- Appendix A: Logical Foundations -- Appendix B: Equivalence of EC and DEC...”
Cover Image
Read Now

2
by Mueller, Erik T.
Published 2015
Elsevier Morgan Kaufmann
Table of Contents: “...; Automated reasoning and SAT; Part I: Foundations; Chapter 2: The Event Calculus; 2.1 First-order logic...”