Vol-2633⫷ Vol-2634 ⫸Vol-2635
urn:nbn:de:0074-2634-0


Vol-2634/FMM-preface⫷Vol-2634/FMM1⫸Vol-2634/FMM2
Adam Naumowicz

Testing Mizar User Interactivity in a University-level Introductory Course on Foundations of Mathematics