Theorem Proving in Higher Order Logics / Lists

This work is on 0 lists.

This reader hasn't created any lists yet.

Recent Activity

When	What	Who	Comment
1 minute ago	Scott Bradfield (list) - diff	Kate Bronislawski	Removed Deserto dei tartari from the list.
1 minute ago	Scott Bradfield (list) - diff	Kate Bronislawski	Removed The preserving machine from the list.
1 minute ago	Scott Bradfield (list) - diff	Kate Bronislawski	Removed The big knockover from the list.
10 minutes ago	undifferentiated (list) - diff	laurenbr1	Added David W. Scott to the list.
13 minutes ago	aa (list) - diff	Ramiro154	Added The Elements of Investing to the list.