Poprzednia strona
Rekrutacja 2022/23
Flexary connectives in Mizar
A. Korniłowicz
Computer Languages, Systems and Structures 44 (2015) 238-250
DOI: 10.1016/j.cl.2015.07.002
