GitHub repository: rebidavid/forallxPecs
Description: Hungarian Translation of P.D. Magnus' forallx logic textbook