TY  - RPRT
TI  - On logic and generative AI
AU  - Yuri Gurevich
AU  - Andreas Blass
PY  - 2024
UR  - https://arxiv.org/abs/2409.14465
ID  - 2409.14465
ER  -