Browse editions

Current edition
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
Other editions (1)
Expand filter menu Filter editions
Proof Theory and Automated Deduction by J. Goubault-Larrecq, I. MacKie, Jean Goubault-Larrecq

Proof Theory and Automated Deduction

Applied Logic

J. Goubault-Larrecq, I. MacKie, Jean Goubault-Larrecq

440 pages • missing pub info (editions)

nonfiction mathematics
More...