Ruy J. Guerra B. de Queiroz

Books

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.

de Queiroz, R. (ed.): 2003, Logic for Concurrency and Synchronisation, volume 18 of the series Trends in Logic, Kluwer Academic Publishers, July 2003, ISBN 1-4020-1270-5.

Thesis

de Queiroz, R.: 1990, Proof Theory and Computer Programming. The Logical Foundations of Computation, PhD Dissertation, Department of Computing, Imperial College, London. Submitted November 8, 1989. Examined February 1990.

Translations

Sipser, M. Introdução à Teoria da Computação, Cengage Learning, (ISBN: 8522104999, ISBN13: 9788522104994), 2007. (Brazilian translation of Introduction to the Theory of Computation, Thomson Course Technology, ISBN 10: 0-534-95097-3, February 15, 2005.)

Manzano, M. Model Theory, Volume 37 of Oxford Logic Guides, Oxford University Press, April 1999. ISBN 0-19-853851-0. Translated from the original (in Spanish) Teoría de Modelos, Alianza Editorial, Madrid, 1989. (corrigenda)

Lovász, L., Pelikán, J. & Vesztergombi, K. Matemática Discreta, Volume 05 of Coleção Textos Universitários, Sociedade Brasileira de Matemática, 285 pp, 1st Edition, 0,500 Kg, ISBN 85-85818-28-X, 2006. (Brazilian translation of Discrete Mathematics: Elementary and Beyond, Springer, January 2003, ISBN 0387955852.)

Hodges, W. Uma Teoria dos Modelos Mais Curta, Portuguese translation of A Shorter Model Theory, Cambridge University Press, 1997. (In preparation)

van Dalen, D. Lógica e Estrutura, Portuguese translation of Logic and Structure, Springer, 3rd augmented edition, 1994 (Corrected 2nd printing 1997). (In preparation)

Poizat, B. As pedrinhas. Uma abordagem modelo-teórica da Algorímia. Portuguese translation of Les petits cailloux. Une approche modèle-théorique de l'Algorithmie, Nur al-Mantiq wal-Ma'rifah; Aléas Editeur, 15 quai Lassagne, 69001 Lyon, France, 1995. (In preparation)

Goldreich, O. Fundamentos da Criptografia. Ferramentas Básicas. Portuguese translation of Foundations of Cryptography - Basic Tools, Cambridge University Press, June 2001. (In preparation)

Poizat, B. Curso de Teoria dos Modelos. Portuguese translation of Cours de Théorie des Modèles, Nur al-Mantiq wal-Ma'rifah; Lyon, France, 1985. (In preparation)