Keyword:FOL=

Publications
Logic for CS Undergraduates: a Sketch Dennis Hamilton EasyChair Preprint 8622