Digitalizacja filozofii formalnej Tekst Digitalizacja filozofii formalnej Dokumentacja E+CVC4 and Mace4+Paradox Results CVC4_Mace4_Results PROVER9_Mace4_Results