First Page | Document Content | |
---|---|---|
![]() Date: 2012-12-08 09:30:00Predicate logic Analytic philosophers Metaphysicians Mathematical logic Saul Kripke Nathan Salmon Free variables and bound variables Mereology Equivalence relation Logic Mathematics Philosophy | Add to Reading List |