Lewis meets Brouwer: constructive strict implication (bibtex)
by Tadeusz Litak, Albert Visser
Reference:
Lewis meets Brouwer: constructive strict implication (Tadeusz Litak, Albert Visser), In Indagationes Mathematicae, vol. Accepted to a special issue on "L.E.J. Brouwer, 50 years later", to appear, 2017.
Bibtex Entry:
@article{LitakV17:im,
  author    = {Tadeusz Litak and Albert Visser},
  title     = {Lewis meets {B}rouwer: constructive strict implication},
  journal   = {Indagationes Mathematicae},
  volume    = {Accepted to a special issue on "L.E.J. Brouwer, 50 years later", to appear},
  year      = {2017},
  url       = {https://arxiv.org/abs/1708.02143},
  issn = "0019-3577",
  doi = "10.1016/j.indag.2017.10.003",  
}
Powered by bibtexbrowser