Formalized Mathematics. Universit'e Catholique de Louvain (1990)

by Roman Matuszewski
Venue:MIZAR, Av.F.Roosevelt