I am sorry, I couldn't find the file you requested:
/current/doc/math/qedeq_propositional_v1_en.pdf
I don't know if the file never existed or has been moved away. Anyway - I didn't find it.
[an error occurred while processing this directive] Please inform the owner of the referring page about the malformed link. Perhaps you would like to search the directories yourself?.