Bounded variable logics and counting / Lists

This work is on 1 list.

Recent Activity

When	What	Who	Comment
3 minutes ago	Hana (list)	Halima Adeli	Created a new list.
6 minutes ago	Italian (list) - diff	andy brant	Removed Maximum Italian from the list.
6 minutes ago	Italian (list)	andy brant	Created a new list.
6 minutes ago	Italian (list)	andy brant	Created a new list.
10 minutes ago	undifferentiated (list) - diff	laurenbr1	Added Taylor, Richard M. to the list.