1) What typed lambda-calculus has to do with avoiding set-theoretic paradoxes.
2) What assignments have to do with different ways of stating the recursive truth-conditions for the Universal and Existential quantifiers.
3)
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment