Keyword:FOL=

Papers
Logic for CS Undergraduates: a Sketch Dennis Hamilton EasyChair Preprint no. 8622