Language, Proof and Logic

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.

No reviews yet.
Be the first to write one.

No highlights yet.
Be the first to share one.