Formalized Mathematics

MLA

Formalized Mathematics. [Bialystok, Poland]: De Gruyter, .

APA

Formalized Mathematics. [Bialystok, Poland]: De Gruyter.

Chicago

Formalized Mathematics. [Bialystok, Poland]: De Gruyter.