Cita APA (7a ed.)
Uniwersytet w Białymstoku. Formalized mathematics: A computer assisted approach. University of Białystok.
Cita Chicago Style (17a ed.)
Uniwersytet w Białymstoku. Formalized Mathematics: A Computer Assisted Approach. [Bialystok, Poland]: University of Białystok.
Cita MLA (9a ed.)
Uniwersytet w Białymstoku. Formalized Mathematics: A Computer Assisted Approach. University of Białystok.
Precaución: Estas citas no son 100% exactas.