Library
A term for modern formal logic, particularly those logical calculi powerful enough to express classical mathematics.
View more History, Politics, Society videos