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