de Queiroz, Ruy J.G.B. books & textbook
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: 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings (Lecture Notes in Computer Science)
Ciabattoni, Agata Pimentel, Elaine de Queiroz, Ruy J. G. B.
Springer /2022-09-09 Paperback / 444 Pages
isbn-10: 3031152972 / isbn-13: 9783031152979
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: 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
Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings (Lecture Notes in Computer Science)
Hansen, Helle Hvid Scedrov, Andre de Queiroz, Ruy J.G.B.
Springer /2023-08-30 Paperback / 436 Pages
isbn-10: 3031397835 / isbn-13: 9783031397837
Uma Vers O Mais Curta de Teoria DOS Modelos (Portuguese Edition)
Hodges, School of Mathematical Sciences Wilfrid de Queiroz, Ruy J G B
College Publications /2012-12-17 Paperback / 338 Pages
isbn-10: 1848900953 / isbn-13: 9781848900950
