De Queiroz, Ruy books & textbook
Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings (Lecture Notes in Computer Science, 6642)
Beklemishev, Lev D. de Queiroz, Ruy
Springer /2011-05-02 Paperback / 321 Pages
isbn-10: 364220919X / isbn-13: 9783642209192
Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings (Theoretical Computer Science and General Issues)
Kennedy, Juliette de Queiroz, Ruy J.G.B.
Springer /2017-06-30 Paperback / 411 Pages
isbn-10: 3662553856 / isbn-13: 9783662553855
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
Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings (Lecture Notes in Artificial Intelligence, Vol. 6188)
Springer /2010-06-17 Paperback / 269 Pages
isbn-10: 3642138233 / isbn-13: 9783642138232
Model Theory (Oxford Logic Guides)
Manzano, Maria de Queiroz, Ruy J. G. B.
Oxford University Press /1999-07-08 Hardcover / 264 Pages
isbn-10: 0198538510 / isbn-13: 9780198538516
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
Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings (Theoretical Computer Science and General Issues)
Iemhoff, Rosalie Moortgat, Michael de Queiroz, Ruy
Springer /2019-06-10 Paperback / 688 Pages
isbn-10: 366259532X / isbn-13: 9783662595329
Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings (Theoretical Computer Science and General Issues)
Moss, Lawrence S. de Queiroz, Ruy Martinez, Maricarmen
Springer /2018-06-27 Paperback / 343 Pages
isbn-10: 3662576686 / isbn-13: 9783662576687
Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings (Theoretical Computer Science and General Issues)
Väänänen, Jouko Hirvonen, Åsa de Queiroz, Ruy
Springer /2016-08-06 Paperback / 469 Pages
isbn-10: 3662529203 / isbn-13: 9783662529201
Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings (Theoretical Computer Science and General Issues)
Kohlenbach, Ulrich Barceló, Pablo de Queiroz, Ruy J G B
Springer /2014-07-24 Paperback / 257 Pages
isbn-10: 3662441446 / isbn-13: 9783662441442
