Thursday, December 17, 2009

Formal Logic

Site of the day: http://bloomberg.com/

Wikipedia - First-order logic
http://en.wikipedia.org/wiki/First-order_logic

Wikipedia - Second-order logic
http://en.wikipedia.org/wiki/Second-order_logic

No comments:

Post a Comment