- J. Rasga and C. Sernadas.
Decidability of Logical Theories and Their Combination.
Springer, 2020.
- A. Sernadas and C. Sernadas.
Foundations
of Logic and Theory of Computation - Second Edition.
College Publications, London, 2012.
ISBN 978-1-904987-88-8.
- A. Sernadas and C. Sernadas.
Fundamentos de
Lógica e Teoria da Computação - Segunda Edição.
College Publications, London, 2012.
ISBN 978-1-84890-081-3.
- W. A. Carnielli, M. E.
Coniglio, D. Gabbay, P. Gouveia, and C. Sernadas.
Analysis
and Synthesis of Logics - How To Cut And Paste Reasoning Systems,
volume 35 of Applied Logic.
Springer, 2008.
Get a preprint: 06-CCGGS-fibringbook.pdf
- A. Sernadas and C. Sernadas.
Foundations of Logic and Theory of Computation.
College Publications, London, 2008.
ISBN 978-1-904987-88-8.
Get a preprint: 08-SS-FLTC.pdf
- J. Carmo, A. Sernadas, C. Sernadas,
F. M. Dionísio, and C. Caleiro.
Introdução à Programação em Mathematica -- Segunda Edição (Introduction to Programming in Mathematica -- Second Edition).
IST Press, 2004.
- J. Carmo, A. Sernadas, C. Sernadas,
F. M. Dionísio, and C. Caleiro.
Introdução à Programação em Mathematica (Introduction to
Programming in Mathematica).
IST Press, 1999.
- C. Sernadas.
Introdução à Teoria da Computação (An Introduction
to Computing Theory).
Editorial Presença, 1993.