@misc{indiciaecb5260973af8,
  title = {Computational Logic: Its Origins and Applications},
  author = {Lawrence C Paulson},
  year = {2018},
  doi = {10.1098/rspa.2017.0872},
  url = {https://arxiv.org/abs/1712.04375},
  note = {Source identifier: 1712.04375}
}