TY  - RPRT
TI  - [Speculation and exact science in type theory].
AU  - A METTE
PY  - 1956
UR  - https://pubmed.ncbi.nlm.nih.gov/13379566/
ID  - 13379566
ER  -