TY  - RPRT
TI  - Computational Logic: Its Origins and Applications
AU  - Lawrence C Paulson
PY  - 2018
DO  - 10.1098/rspa.2017.0872
UR  - https://arxiv.org/abs/1712.04375
ID  - 1712.04375
ER  -