devesascampos-2020-classical:
  type: article
  title: Classical logic with Mendler induction
  author:
  - Devesas Campos, Marco
  - Fiore, Marcelo
  date: 2020-01
  page-range: 77-106
  url: http://dx.doi.org/10.1093/logcom/exaa004
  serial-number:
    doi: 10.1093/logcom/exaa004
    issn: 1465-363X
  parent:
    type: periodical
    title: Journal of Logic and Computation
    publisher: Oxford University Press (OUP)
    issue: 1
    volume: 30