Instructor : Prof. Howard A. BLAIR

• office : 3-185 CST
• office phone : 443-3565 (3-3565 from campus phones)
• office hours : Mondays and Wednesdays, 4:40 PM - 5:40 PM
• e-mail: blair@top.cis

TA : David W. JAKEL

• office : 1-234 CST (yes!)
• office phone : none
• office hours : Tuesdays and Thursdays, 10:00 - 11:00 AM
  Other times and other days by appointment.
• e-mail :
• dwjakel@top.cis
• dwjakel@mailbox

How to configure Netscape to view PostScript documents

Netscape Communicator 4.05

Netscape Navigator 3.0 Gold

Using a PC (or Mac) with a PostScript printer?

See C. C. Li's page on how to download ghostview .

References on reserve in Science and Technology Library (first floor of Carnegie Library bldg.):
• H. D. Ebbinghaus, J. Flum, & W. Thomas, Introduction to Mathematical Logic

(translation of Einfuehrung in die mathematische Logik), 2nd edition.
• S. Abramsky, D. M. Gabbay, & T. S. E. Maibaum, Handbook of Logic in Computer Science,

Vol. 3: Semantic Structures.
• H. A. Blair, lecture notes.

The course grade will be based on
• homework problems (25%)
• two mid-semester exams (25% each)
• a cumulative final exam (25%)

Comments? Please send e-mail to: