@misc{indiciaefa542d8c890a,
  title = {[Speculation and exact science in type theory].},
  author = {A METTE},
  year = {1956},
  url = {https://pubmed.ncbi.nlm.nih.gov/13379566/},
  note = {Source identifier: 13379566}
}