Browse editions

Current edition
Goal-Directed Proof Theory by N. Olivetti, Dov M. Gabbay

Goal-Directed Proof Theory

Applied Logic

N. Olivetti, Dov M. Gabbay

268 pages • missing pub info (editions)

nonfiction computer science mathematics medium-paced
Other editions (1)
Expand filter menu Filter editions
Goal-Directed Proof Theory by N. Olivetti, Dov M. Gabbay

Goal-Directed Proof Theory

Applied Logic

N. Olivetti, Dov M. Gabbay

268 pages • missing pub info (editions)

nonfiction computer science mathematics medium-paced