Introduction to Predicate Calculus

Fictionalist Anthem