Holl.Sz. közreműködései
2 szerkesztéssel rendelkező felhasználó. Fiók létrehozva: 2021. május 29.
2021. június 26.
- 02:142021. június 26., 02:14 eltér történet +1 a Szekvenskalkulus →Szubtrukturális logika Címke: Vizuális szerkesztés
- 02:072021. június 26., 02:07 eltér történet +54 911 Ú Szekvenskalkulus Készült a(z) „Sequent calculus” oldal lefordításával Címkék: Tartalomfordítás ContentTranslation2
