Predicate Logic Unplugged

Cite this paper

@inproceedings{Bos1995PredicateLU, title={Predicate Logic Unplugged}, author={Johan Bos}, year={1995} }