First-order logic with counting - きゃ's scrap box

First-order logic with counting

2017

LICS2017

https://ieeexplore.ieee.org/document/8005133

logic first-order logic