Title: Logic year 1979-80, the University of Connecticut, USA
Subjects: Symbolic and mathematical Logic, Congresses, Logique symbolique et mathématique, Beweistheorie, Logik, Congrès