Formalized mathematics

Date :

Editeur / Publisher : Brussels : Mizar , 1989-

Type : Périodique / Serial

Langue / Language : anglais / English