Lewis meets Brouwer: constructive strict implication (bibtex)
by Tadeusz Litak, Albert Visser
Reference:
Lewis meets Brouwer: constructive strict implication (Tadeusz Litak, Albert Visser), In CoRR, vol. abs/1708.02143, 2017.
Bibtex Entry:
@article{LitakV17:im,
  author    = {Tadeusz Litak and Albert Visser},
  title     = {Lewis meets {B}rouwer: constructive strict implication},
  journal   = {CoRR},
  volume    = {abs/1708.02143},
  year      = {2017},
  url       = {https://arxiv.org/abs/1708.02143}
}
Powered by bibtexbrowser