↓ Skip to main content
What is this page? Embed badge

First-Order Logic

Overview of attention for book
Cover of 'First-Order Logic'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Preliminaries
  3. Altmetric Badge
    Chapter 2 Analytic Tableaux
  4. Altmetric Badge
    Chapter 3 Compactness
  5. Altmetric Badge
    Chapter 4 First-Order Logic. Preliminaries
  6. Altmetric Badge
    Chapter 5 First-Order Analytic Tableaux
  7. Altmetric Badge
    Chapter 6 A Unifying Principle
  8. Altmetric Badge
    Chapter 7 The Fundamental Theorem of Quantification Theory
  9. Altmetric Badge
    Chapter 8 Axiom Systems for Quantification Theory
  10. Altmetric Badge
    Chapter 9 Magic Sets
  11. Altmetric Badge
    Chapter 10 Analytic versus Synthetic Consistency Properties
  12. Altmetric Badge
    Chapter 11 Gentzen Systems
  13. Altmetric Badge
    Chapter 12 Elimination Theorems
  14. Altmetric Badge
    Chapter 13 Prenex Tableaux
  15. Altmetric Badge
    Chapter 14 More on Gentzen Systems
  16. Altmetric Badge
    Chapter 15 Craig’s Interpolation Lemma and Beth’s Definability Theorem
  17. Altmetric Badge
    Chapter 16 Symmetric Completeness Theorems
  18. Altmetric Badge
    Chapter 17 Systems of Linear Reasoning
Attention for Chapter 9: Magic Sets
Altmetric Badge

Citations

dimensions_citation
726 Dimensions
Summary Dimensions citations
So far, Dimensions has found 726 publications that cite this research output.

726

The most recent citing publications are shown below. View all 726 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.