LOG 305

Symbolic Logic

University of Wisconsin-Stout · UGRD · Fall 2026

1 section

Catalog description

Propositional and first-order quantificational languages and deductive systems, proof construction, introduction to soundness and completeness, application to natural language reasoning and computability.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 6 hours ago

001

Availability not recently verified

Class #wisconsin_stout-1535Fall 2026UGRD3 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?