PP-2021-10: Johan van Benthem, Thomas Icard Interfacing Logic and Counting 1.Full Text, 2.Abstract. < Back