Cover Image
Read Now

1
by Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula
Published 2008
Springer Netherlands
Table of Contents: “... -- Heterogeneous fibring -- Fibring non-truth functional logics -- Fibring first-order logics -- Fibring higher...”
Cover Image
Read Now

2
Published 2018
Springer International Publishing
Table of Contents: “... Logic Reasoning (Marcelo Finger) -- Chapter 13. Reconciling first-order logic to algebra (Walter...”