Antonio Maria Cleani
Search
Search
Dark mode
Light mode
Reader mode
Research
Teaching
CV
Tag: higher_order_logic
1 item with this tag.
Sep 12, 2025
Quantificationalists should theorize in a free logic
argument
higher_order_logic
Graph View