me, next hour,
Mathematical Logic, by Stephen G Simpson
http://xahlee.info/math/math_logic_stephen_simpson_33721.html
want to finish this before i tackle type theory
Conversation
Notices
-
∑ XahLee (xahlee@noagendasocial.com)'s status on Monday, 15-Jan-2018 14:22:24 EST ∑ XahLee