Wandering Mango | Logic Software and Games for Mac OS X | |
List of Wandering Mango Mac OS X products: Deductions and Intuition | |
Keywords : first order logic, study of logic, symbolic logic problems, classical logic, introduction to symbolic logic, modern symbolic logic, logic games, logical deductions, natural deductions, predicate logic |
Last Update : | 14/December/2011 |
Google PR : | 5 |
Internal links : | 5 |
External links : | 1 |
Archive : | Check how did the site look in the past? |