Now showing items 1-1 of 1

    • Logic in Practice: Model-Theoretic Completeness 

      Fay, Thomas (Kalamazoo College, 1971)
      Model theory is unusual as a field where the abstract and ''impractical" machinery of logic has concrete applications. The abstract quality of logic lends a generality to model theory which is a real asset, allowing a ...