List of Books in Keyword #First-Order Logic

Metalogic: An Introduction to the Metatheory of Standard First Order Logic
Published on: 1996
Beginner Unordered English

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., …

Metatheory First-Order Logic Completeness Consistency Model Theory
Metalogic - An Intro. to the Metatheory of Std First Order Logic
Published on: 1971
Beginner Unordered English

Metatheory First-Order Logic Syntax Semantics Completeness

Page 1 of 1