This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics.
Comments