Some introductory formalizations on the
β
AndrΓ‘s BalΓ‘zs
π
Article
π
2006
π
Elsevier Science
π
English
β 243 KB