Path: utzoo!utgpu!jarvis.csri.toronto.edu!neat.cs.toronto.edu!sacook
From: sacook@cs.toronto.edu (Stephen Cook)
Original-To: theorynews
Subject: Urquhart's course
Message-ID: <90Jan2.160328est.2376@neat.cs.toronto.edu>
Date: Tue, 2 Jan 90 16:03:24 EST
Newsgroups: ut.theory
Distribution: ut
Sender: list-admin@cs.toronto.edu
Approved: ut.theory@mail.ai.toronto.edu
Lines:        2

PHL2122S, Urquhart's course on the complexity of propositional proof systems,
will meet TR10 in the nursing building, corner of St. George and Russell.