De Oliveira, Anjolina G books & textbook
Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings (Theoretical Computer Science and General Issues)
de Paiva, Valeria de Queiroz, Ruy Moss, Lawrence S. Leivant, Daniel de Oliveira, Anjolina G.
Springer /2015-07-07 Paperback / 221 Pages
isbn-10: 3662477084 / isbn-13: 9783662477083
Functional Interpretation Of Logical Deduction, The
De Queiroz, Ruy J G B De Oliveira, Anjolina G Gabbay, Dov M
Wspc /2011-10-31 Paperback / 298 Pages
