Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems: 35 (Applied Logic Series)
by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
ISBN 13: 9789048177257
Format: Paperback (620 pages) Publisher: Springer Published: 22 Nov 2010
Save for later
Fundamentos de L Gica E Teoria Da Computa O
by Am Lcar Sernadas, Cristina Sernadas
ISBN 13: 9781848900813
Format: Paperback (356 pages) Publisher: College Publications Published: 16 Aug 2012
A Mathematical Primer on Computability
by Amilcar Sernadas,Cristina Sernadas,João Rasga,Jaime Ramos
ISBN 13: 9781848902961
Format: Paperback (280 pages) Publisher: College Publications Published: 07 Nov 2018
A Mathematical Primer on Linear Optimization
by Diogo Gomes,Amilcar Sernadas,Cristina Sernadas
ISBN 13: 9781848903159
Format: Paperback (266 pages) Publisher: College Publications Published: 02 Sep 2019