Nova série de livros em português publicada pela College Publications
(King's College London): *Cadernos em Lógica e Computação*.
Segundo seus coordenadores Amílcar Sernadas e Cristina Sernadas:
Esta série visa facultar aos estudantes universitários dos países de
língua oficial portuguesa bons
A série foi recentemente inaugurada com:
1) Fundamentos de Lógica e Teoria da Computação
Segunda Edição
Amílcar Sernadas e Cristina Sernadas
2) Introdução ao Cálculo Lambda
Chris Hankin, traduzido por João Rasga
Próximo títulos:
tradução de
A Shorter Model Theory
Wilfrid Hodges
tradução de