You need to sign in or sign up before continuing.

Marcelo Coniglio

1 book

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay

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

Applied Logic

Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay

602 pages • paperback

nonfiction mathematics philosophy medium-paced