Game Semantics in Teaching of Classical First Order Predicate Logic to Stu- dents of Computer Science
MATEC Web Conf., 210 (2018) 04007
Published online: 05 October 2018
DOI: 10.1051/matecconf/201821004007