@misc{indiciae10a19ea7b0af,
  title = {Set theory and tableaux for teaching propositional logic},
  author = {Nino Guallart and Angel Nepomuceno-Fernandez},
  year = {2015},
  url = {https://arxiv.org/abs/1507.03667},
  note = {Source identifier: 1507.03667}
}