Wyniki
-
On a system of computer-aided instruction of logic
Andrzej Trybulec
Bulletin of the Section of Logic , 12 /4 (1983) s. 214-220 -
The Mizar Project
Andrzej Trybulec
Bulletin of the Section of Logic , 20 /3-4 (1991) s. 90-91