View Basket

AiML Academia Brasileira de Filosofia Algorithmics Arts Cadernos de Lógica e Computação Cadernos de Lógica e Filosofia Cahiers de Logique et d'Epistemologie Communication, Mind and Language Computing Comptes Rendus de l'Academie Internationale de Philosophie des Sciences Cuadernos de lógica, Epistemología y Lenguaje DEON Dialogues Economics Encyclopaedia of Logic Filosofia Handbooks Historia Logicae IfColog series in Computational Logic Journal of Applied Logics - IfCoLog Journal Journals Landscapes Logics for New-Generation AI Logic and Law Logic and Semiotics Logic PhDs Logic, Methodology and Philosophy of Science The Logica Yearbook Marked States Neural Computing and Artificial Intelligence Philosophy Research The SILFS series Studies in Logic Studies in Talmudic Logic Student Publications Systems Texts in Logic and Reasoning Texts in Mathematics Tributes Other Digital Downloads Information for authors About us Search for Books   Cadernos de Lógica e Computação Series edited by Cristina Sernadas and João Rasga Série dirigida por Cristina Sernadas and João Rasga Editor Fundador: Amílcar 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 9: Princípios de Teoria dos Conjuntos Fernando Ferreira 978-1-84890-347-0 View Details Volume 8: Lógica e Estrutura Dirk van Dalen, Traduzido do original por Ruy J. G. B. de Queiroz 978-1-84890-262-2 View Details Volume 7: Aprenda Prolog Já! Patrick Blackburn, Johan Bos, Kristina Striegnitz 978-1-84890-155-1 View Details Volume 6: Lógica e Raciocínio João Pavão Martins 978-1-84890-125-4 View Details Volume 5: Elementos de Matemática Discreta José Carmo, Paula Gouveia e Francisco Miguel Dionísio 978-1-84890-134-6 View Details Volume 4: Incompletude na Terra dos Conjuntos Melvin Fitting, traduzido por Jaime Ramos 978-1-84890-109-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 Volume 2: Introdução ao Cálculo Lambda Chris Hankin, traduzido por João Rasga 978-1-84890-084-4 View Details 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

© 2005–2024 College Publications / VFH webmaster