Áreas de interesse Fundamentos Lógicos da Computação, Teoria da Prova, Teoria dos Modelos, Lógica e Teoria da Complexidade (Complexidade de Provas, Complexidade Descritiva), Fundamentos da Cibersegurança.
de Queiroz, R., de Oliveira, A., & Gabbay, D.: 2011, The Functional Interpretation of Logical Deduction. Vol. 5 of Advances in Logic series. Imperial College Press / World Scientific, Oct 2011. ISBN 978-981-4360-95-1.
(flyer) (Compre-o na Amazon)
Contribuições editoriais recentes
Livros Organizados
Como Colaborador
Anais
Números Especiais de Revistas
Traduções
Endereço Postal:
Centro de Informática Universidade Federal de Pernambuco
Av Jornalista Anibal Fernandes, s/n
Cidade Universitária
50740-560 Recife, PE
Tel.: (+55 81) 2126 8430.
Fax: (+55 81) 2126 8438
ruy at cin ufpe br