@misc{indiciae51ba9df859c6,
  title = {Intuitionistic Completeness of First-Order Logic},
  author = {Robert Constable and Mark Bickford},
  year = {2011},
  url = {https://arxiv.org/abs/1110.1614},
  note = {Source identifier: 1110.1614}
}