Applied Logic

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

Proof Theory and Automated Deduction

Applied Logic

I. MacKie, Jean Goubault-Larrecq

444 pages • missing pub info (editions)

nonfiction mathematics
More...