College Publications logo   College Publications title  
View Basket
Homepage Contact page
   
 
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 lógica, Epistemología y Lenguaje
DEON
Dialogues
Economics
Encyclopaedia of Logic
Filosofia
Handbooks
IfColog series in Computational Logic
Journals
Law and Society
Logic PhDs
Logic, Methodology and Philosophy of Science
The Logica Yearbook
Neural Computing and Artificial Intelligence
Philosophy
Research
The SILFS series
Studies in Logic
Studies in Talmudic Logic
Systems
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 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


Volume 4:

Incompletude na Terra dos Conjuntos

Melvin Fitting, traduzido por Jaime Ramos

978-1-84890-109-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 6:

Lógica e Raciocínio

João Pavão Martins

978-1-84890-125-4

View Details


Volume 7:

Aprenda Prolog Já!

Patrick Blackburn, Johan Bos, Kristina Striegnitz

978-1-84890-155-1

View Details





© 2005–2017 College Publications / VFH webmaster