Applied Logic

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