Logic, proof, and sets

Revision	When	Who	Comment

7	December 29, 2023	bitnapper	merge authors
6	October 21, 2020	MARC Bot	import existing book
5	February 14, 2020	MARC Bot	remove fake subjects
4	July 22, 2017	Mek	adding subject: In library
3	July 27, 2016	Douglas Latimer	Title and author corrected.
2	April 30, 2014	Anthony Black	merge authors
1	March 18, 2010	WorkBot	work found