Search Results - "First-order logic"

First order logic a concise introduction by Heil, John

Subjects: “…First-order logic…”
Click Here to View Status and Holdings.

First-order logic and automated theorem proving by Fitting, Melvin 1942-

Click Here to View Status and Holdings.

Rigorous software development an introduction to program verification

Table of Contents: “…Introduction -- An overview of formal methods tools and techniques -- Propositional logic -- First-order logic -- Hoare logic -- Generating verification conditions -- Safety properties -- Procedures and contracts -- Specifying C programs -- Verifying C…”
Click Here to View Status and Holdings.

INTRODUCTION TO MATHEMATICAL LOGIC by Mendelson, Elliott

Click Here to View Status and Holdings.