Marcelo Coniglio

1 book

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 • missing pub info (editions)

nonfiction mathematics philosophy medium-paced
More...