Game Semantics in Teaching of Classical First Order Predicate Logic to Stu- dents of Computer Science
MATEC Web Conf., 210 (2018) 04007
DOI: https://doi.org/10.1051/matecconf/201821004007
EDPS Account
