Jean Goubault-Larrecq's Books

Interest in computer applications has led to a new attitude to applied logic in which researchers tailor a logic in the same way they define a computer language. In response to this attitude, this text for undergraduate and graduate students discusses major algorithmic methodologies, and tableaux and resolution methods. The authors focus on first-order logic, the use of proof theory, and the computer application of automated searches for proofs of mathematical propositions. Annotation copyrighted by Book News, Inc., Portland, OR

Book's by Jean Goubault-Larrecq

Non-Hausdorff Topology and Domain Theory

Non-Hausdorff Topology and Domain Theory

Proof Theory and Automated Deduction

Proof Theory and Automated Deduction

Username

Password

Username

Password

Password again

Birthday

Email