Browse editions

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

Proof Theory and Automated Deduction

Applied Logic

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

440 pages • missing pub info (editions)

nonfiction mathematics