Publication Date

2011

Course Name

Symbolic Logic

Abstract

First-order logic with identity and its uses in evaluating ordinary language arguments. Syntax, semantics, and system of natural deduction.

Share

COinS