doc-src/Logics/FOL.tex
changeset 1868 836950047d85
parent 1388 7705e6211865
child 2495 82ec47e0a8d3