Formalized Mathematics

Publisher: University of Białystok
Print ISSN: 1426-2630
Electronic ISSN:
OCLC Number:
Subject:
Subject code:
Publication history:

PAPR is a service of the Center for Research Libraries (CRL), an international consortium of university, college, and independent research libraries who acquire and preserve traditional and digital resources from a global network of sources. See PAPR Terms of Service and PAPR Record Use Policy. Questions or comments: papr@crl.edu.