Proof Theory and Automated Deduction by Jean Goubault-Larrecq, I. MacKie

Proof Theory and Automated Deduction

Applied Logic

Jean Goubault-Larrecq, I. MacKie

444 pages missing pub info (editions)

nonfiction mathematics
Powered by AI (Beta)
Loading...

Description

The last twenty years have witnessed an accelerated development of pure and ap- plied logic, particularly in response to the urgent needs of computer science. Many traditional logicians have developed interest in applications and in parallel a new...

Read more

Community Reviews

Loading...

Content Warnings

Loading...