You need to sign in or sign up before continuing.

Browse editions

Current edition
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
Other editions (1)
Expand filter menu Filter editions
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 • hardcover

nonfiction mathematics philosophy medium-paced