@misc{indiciae85c2d0545c78,
  title = {Très courte enquête sur l'extension non-triviale de la logique de propositions à la logique du premier et deuxième ordre},
  author = {Hector Zenil},
  year = {2012},
  url = {https://arxiv.org/abs/1202.2531},
  note = {Source identifier: 1202.2531}
}