Exercise on Predicate Logic: Difference between revisions
Jump to navigation
Jump to search
| Line 5: | Line 5: | ||
==Formulae and their interpretation== | ==Formulae and their interpretation== | ||
=== | ===Which=== | ||
Revision as of 18:31, 24 January 2013
Create a World
Marthe´s Aufgabe