AiML Algorithmics Cadernos de Lógica e Computação Cadernos de Lógica e Filosofia Cahiers de Logique et d'Epistemologie Communication, Mind and Language Computing Cuadernos de logica, epistemologia y lenguaje Dialogues and the Games of Logic Filosofia contemporânea e história da filosofia IfColog series in Computational Logic Neural Computing and Artificial Intelligence Philosophy Research in Computational Semantics Studies in Logic Studies in Talmudic Logic Systems Thinking and Systems Engineering Texts in Mathematics Tributes Other Information for authors About us   Cadernos de Lógica e Computação Series edited by Amílcar Sernadas & Cristina Sernadas Série dirigida por Amílcar Sernadas & Cristina Sernadas Cadernos de Lógica e Computação é uma série de livros em Português que abrange os domínios da Lógica e da Ciência da Computação e que inclui livros de texto universitários e monografias de investigação. Os livros de texto resultam da experiência de ensino universitário de graduação ou pós-graduação dos seus autores. As monografias de investigação focam tópicos mais avançados em estilo ainda acessível. Cadernos de Lógica e Computação is a series of books in Portuguese that covers the full spectrum of the fields of Logic and Computer Science, including university textbooks and research monographs. Textbooks are written from class-tested material developed by the authors for undergraduate or graduate students. Research monographs focus on more advanced topics but still in accessible style to newcomers. Comissão Científica Scientific Committee Walter Carnielli, Universidade de Campinas Fernando Ferreira, Universidade de Lisboa José Luiz Fiadeiro, University of London Marcelo Finger, Universidade de São Paulo Denis Hirschfeldt, University of Chicago Valeria de Paiva, University of Birmingham Luís Moniz Pereira, Universidade Nova de Lisboa Ruy de Queiroz, Universidade Federal de Pernambuco Paulo Oliva, University of London Volume 1: Fundamentos de Lógica e Teoria da Computação Segunda Edição Amílcar Sernadas e Cristina Sernadas 978-1-84890-081-3 View Details Volume 2: Introdução ao Cálculo Lambda Chris Hankin, traduzido por João Rasga 978-1-84890-084-4 View Details Volume 3: Uma Versão Mais Curta de Teoria dos Modelos Wilfrid Hodges. Traduzido por Ruy J. G. B. de Queiroz 978-1-84890-095-0 View Details

© 2005–2013 College Publications / VFH webmaster