• 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.