CONTATO | SIGA A SBC

Ruy de Queiroz também integra o Comitê Científico da série “Cadernos de Lógica e Computação”

 

A editora College Publications (King's College, Londres) anunciou recentemente a publicação da versão em português do livro "A Shorter Model Theory" (Cambridge Univ Press, 1997), como Vol. 3 da Série "Cadernos de Lógica e Computação" (dirigida por Amílcar Sernadas & Cristina Sernadas). O livro está disponível para compra no site da Amazon.com.

O trabalho de tradução foi realizado pelo professor do Centro de Informática (CIn) da UFPE, Ruy de Queiroz, que integra o Comitê Científico da série “Cadernos de Lógica e Computação, e teve revisão técnica do Prof. Eudes N. Galvão, do Departamento de Matemática da UFPE.

O livro é considerado a mais importante referência bibliográfica na subárea da Lógica Matemática conhecida como "Teoria de Modelos", e é uma versão mais curta do compêndio de 800 páginas intitulado "Model Theory" publicado em 1993 pela mesma editora (Cambridge Univ Press).

 

 

Assessoria de Comunicação do CIn-UFPE