author:De Queiroz, Ruy J. G. B. | カーリル

お気に入り図書館を設定すると、貸出状況が表示されますエリアを選ぶ現在地から探す

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

Uma Vers O Mais Curta de Teoria DOS Modelos

Hodges, School of Mathematical Sciences Wilfrid／de Queiroz, Ruy J G B

Model Theory (Oxford Logic Guides)

Manzano, Maria／De Queiroz, Ruy J. G. B.

Logic for concurrency and synchronisation

edited by Ruy J.G.B. de Queiroz

Logic, language, information, and computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017 : proceedings

Juliette Kennedy, Ruy J.G.B. de Queiroz (eds.)

Logic, language, information, and computation : 28th International Workshop, WoLLIC 2022, Iaşi, Romania, September 20-23, 2022 : proceedings

Agata Ciabattoni, Elaine Pimentel, Ruy J.G.B. de Queiroz (eds.)

The functional interpretation of logical deduction

Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira and Dov. M. Gabbay