Notre Dame Journal of Formal Logic, Volume 30

Volume 30, Number 1, Winter 1989

Volume 30, Number 2, Spring 1989

Volume 30, Number 3, Summer 1989

Volume 30, Number 4, Fall 1989

a service of Schloss Dagstuhl - Leibniz Center for Informatics