Instructor
Arthur Fine
Office
Address
Savery M399
Telephone
206-543-6496 (3-5855 -- Messages Only)
Email
afine@uw.edu
Notes on Sets, Relations
etc. (Weeks 1 and 2, PDF
File) |
||
Notes on
Sentential Logic (PDF
File) |
Notes
on Predicate Logic (PDF
File) |
|
Axiomatic
Predicate Logic |
||
Semantic
Consequence |
||
Consistency and The Basic Connection (PDF 1 p.) | Derivability
(pdf ) |
|
Completeness (Sentential Logic) |
Interpretations
and Models (PDF 2 pp.) |
|
Nonstandard
Arithmetic (PDF
2 pp.) |
Decidability et al (pdf 2 pp.) |
|
Consistency,
Models &
Consequences (pdf
2pp.) |
Reliability &
Extension Lemmas (PDF 2
pp.) |
|
Identity (PDF
2 pp.) |
Sketch of Gödel's
Theorems |