equal
deleted
inserted
replaced
13 |
13 |
14 Antony Galton, Logic for Information Technology (Wiley, 1990) |
14 Antony Galton, Logic for Information Technology (Wiley, 1990) |
15 |
15 |
16 Michael Dummett, Elements of Intuitionism (Oxford, 1977) |
16 Michael Dummett, Elements of Intuitionism (Oxford, 1977) |
17 *} |
17 *} |
18 theories FOL |
18 global_theories |
|
19 IFOL |
|
20 FOL |
19 document_files "root.tex" |
21 document_files "root.tex" |
20 |
22 |
21 session "FOL-ex" in ex = FOL + |
23 session "FOL-ex" in ex = FOL + |
22 description {* |
24 description {* |
23 Examples for First-Order Logic. |
25 Examples for First-Order Logic. |