Language, Proof and Logic
Language, Proof and LogicAlbert Liu
Sign up to use
Covers first-order language in method appropriate for first and second courses in logic. CD-ROM consists of a new book, 3 programs,and an Internet-based grading service.
·