Math Problems Vault
β
Favorites
All textbooks
/
Lectures on Discrete Mathematics
/
7 · The Language of Predicate Logic
Section 7.4
Substitution of Object Variables