Poprzednia strona
Rekrutacja 2022/23
Tarski's Geometry Modelled in Mizar Computerized Proof Assistant
A. Grabowski
() 373-381
DOI: 10.15439/2016F290
