ArticleProceedings of the National Academy of Sciences of the United States of America2023

Human verifications: Computable with truth values outside logic.

Philip N Johnson-Laird et al.PubMed ↗Full text ↗Publisher ↗

No numbers read from the abstract.