Notre Dame Journal of Formal Logic, Volume 20

Volume 20, Number 1, January 1979

Volume 20, Number 2, April 1979

Volume 20, Number 3, July 1979

Volume 20, Number 4, October 1979

a service of Schloss Dagstuhl - Leibniz Center for Informatics