szomszéd malom Akarni 1 r 1 ma 1 mb 1 mc matek bizonyítás Zarándok Bácsi vagy Mister Foglalkozni vele
B. E. Meserve. Decision methods for elementary algebra. The American mathematical monthly, vol. 62 (1955), pp. 1–8. | The Journal of Symbolic Logic | Cambridge Core