Applied Logic

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

Goal-Directed Proof Theory

Applied Logic

N. Olivetti, Dov M. Gabbay

268 pages • hardcover

nonfiction computer science mathematics medium-paced
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems by Marcelo Coniglio, Dov M. Gabbay, Walter Carnielli

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems

Applied Logic

Marcelo Coniglio, Dov M. Gabbay, Walter Carnielli

602 pages • paperback

nonfiction mathematics philosophy medium-paced
Proof Theory for Fuzzy Logics by George Metcalfe, Nicola Olivetti, Dov M. Gabbay

Proof Theory for Fuzzy Logics

Applied Logic

George Metcalfe, Nicola Olivetti, Dov M. Gabbay

276 pages • paperback

nonfiction art computer science mathematics philosophy medium-paced