Symbolic logic and mechanical theorem proving / Lists

This work is on 1 list.

Recent Activity

When	What	Who	Comment
6 seconds ago	Collectibles (list) - diff	one_eye_smiley	Added 500 cameras to the list.
2 minutes ago	Numismatics (list) - diff	one_eye_smiley	Added 2018 Charlton Coin Guide 57th Ed. to the list.
2 minutes ago	Numismatics (list) - diff	one_eye_smiley	Added The Charlton coin guide [2009] to the list.
2 minutes ago	Numismatics (list) - diff	one_eye_smiley	Added 2002 Charlton Coin Guide (41st Edition) to the list.
2 minutes ago	Mystery reads (list) - diff	Andrea_MTL	Added Accident by design to the list.