Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021)Roussanka Loukanova, Peter LeFanu Lumsdaine, Reinhard Muskens · First published 2023Open the Tome
Interfaces : Explorations in Logic, Language and ComputationThomas Icard, Reinhard Muskens · First published 2010Open the Tome
Games, logic, and constructive setsG. E. Mint͡s, Reinhard Muskens · First published 2003Open the Tome
