Books by Cristina Sernadas
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
Dov M. Gabbay, Cristina Sernadas, Paula Gouveia, Marcelo Coniglio, Walter Carnielli
-20% with code BOOKS
In stock at our supplier
A Mathematical Primer on Computability
João Rasga, Amilcar Sernadas, Cristina Sernadas
-20% with code BOOKS
In stock at our supplier
A Mathematical Primer on Linear Optimization
Diogo Gomes, Cristina Sernadas, Amilcar Sernadas
-20% with code BOOKS
In stock at our supplier
Decidability of Logical Theories and Their Combination
-20% with code BOOKS
In stock at our supplier
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
Dov M Gabbay, Cristina Sernadas, Paula Gouveia, Marcelo Coniglio, Walter Carnielli
-20% with code BOOKS
In stock at our supplier