2.3 Logic Courses Offered in the Fall of '95

P351 Formal Semantics

P505 Logical Theory I

P590, C690, and M800 Interdisciplinary Logic Seminar

P750, C690 and M781 Seminar in Logical Theory

C451 Automata and Formal Grammars

C615 Logic and Program Verification

C690 Topics in Applied Logic

C690 Visual Reasoning

Requirements for the Logic Minor and Certificate

Basic, Core and Specialized Courses

• Introduction
• Special Features of the Program
• Logic Faculty Descriptions
• How to get more information