Proving by first and intermediate principles, November 2 (2004)

by Bruno Buchberger
Venue:University of Nijmegen, The Netherlands