First-Order Logic and Automated Theorem Proving

Beschreibung

This graduate-level text presents fundamental concepts and results of classical logic in a rigorous mathematical style. This new edition includes material on AE calculus, Herbrand's theorem, Gentzen's theorem, and related topics.

Autor*in

Melvin Fitting

Themen in »First-Order Logic and Automated Theorem Proving«

Cut-elimination theorem Resolution Variable automated theorem proving calculus complexity computer formal logic logic proof semantics sequent calculus theorem proving

Stimmen zu »First-Order Logic and Automated Theorem Proving«

Details

Link teilen