UW–Madison Logic Group Home Page [https://web.math.wisc.edu/logic/] - 2024-09-11 01:56:53 - public:stevetao Math-Logic, Person - 2 | id:1492943 -
H. Jerome Keisler Home Page [https://people.math.wisc.edu/~hkeisler/] - 2024-09-11 01:55:47 - public:stevetao Book, Calculus, Logic, Math-Logic, Person - 5 | id:1492941 -
A.Miller - Math [https://www.math.wisc.edu/~miller/] - 2021-01-05 09:33:36 - public:stevetao Logic, Person, Math-Logic, Math, Lecture-Note - 5 | id:485560 -
Teaching - Cathal Woods (Logic) [https://sites.google.com/site/cathalwoods/teaching] - 2021-01-03 03:56:53 - public:stevetao Book, Free, Logic, Math, Math-Logic, Person - 6 | id:485449 -
Nuel Belnap [http://www.pitt.edu/~belnap/] - 2021-01-03 01:38:01 - public:stevetao Person, Math-Logic, Math, Free, Book, Logic - 6 | id:485435 -
Jeremy Avigad's Home Page [https://www.andrew.cmu.edu/user/avigad/] - 2021-01-03 01:12:25 - public:stevetao Book, Math, Math-Logic, Person - 4 | id:485434 -
Simpson: Home Page [http://www.personal.psu.edu/t20/] - 2021-01-03 00:51:55 - public:stevetao Math-Logic, Person, Math, Logic - 4 | id:485428 -
Christopher John Ash 1945-1995 | Australian Academy of Science [https://www.science.org.au/fellowship/fellows/biographical-memoirs-1/christopher-john-ash-1945-1995] - 2020-10-19 04:13:47 - public:stevetao Logic, Math-Logic, Person - 3 | id:426120 -
HOME :: User Sites :: USNA [https://www.usna.edu/Users/math/wdj/] - 2018-12-31 03:38:03 - public:stevetao Cryptography, Math, Person, Coding-Theory - 4 | id:230185 -
Joshua [http://joshua.smcvt.edu/] - 2018-12-30 18:32:10 - public:stevetao Person, Math - 2 | id:230171 -