Exercise on Predicate Logic: Difference between revisions
Jump to navigation
Jump to search
(Created page with "=Create a World= Marthe´s Aufgabe =Formulae and their interpretation=") |
|||
| Line 1: | Line 1: | ||
=Create a World= | ==Create a World== | ||
Marthe´s Aufgabe | Marthe´s Aufgabe | ||
=Formulae and their interpretation= | =Formulae and their interpretation= | ||
Revision as of 18:28, 24 January 2013
Create a World
Marthe´s Aufgabe