Both Packages contain

• Four desktop applications: Tarski's World, Fitch, Boole and Submit (for Windows, Macintosh and (unsupported) Linux)
• 328 exercise files
• One non-transferable Grade Grinder key, permitting online assessment of exercises from Language, Proof and Logic
• The Language, Proof and Logic text book and software manuals in PDF format
• Lifetime upgrades of the software

The physical package also contains the textbook and software manual in book format (digital materials are shipped on CD)

The book is also available in Portuguese, German and Japanese translations.

Both Packages contain

• Two desktop applications: Hyperproof and Submit (for Windows and Macintosh)
• 335 exercise files
• One non-transferable Grade Grinder key, permitting online assessment of exercises from Logical Reasoning with Diagrams and Sentences
• The Logical Reasoning with Diagrams and Sentences text book in PDF format
• Lifetime upgrades of the software

The physical package also contains the textbook in book format (digital materials are shipped on CD).

Both Packages contain

• Two desktop applications: Tarski's World and Submit (for Windows, Macintosh and (unsupported) Linux)
• 72 exercise files
• One non-transferable Grade Grinder key, permitting online assessment of exercises from Tarski's World
• The Tarski's World (Revised and Expanded Edition) text book in PDF format
• Lifetime upgrades of the software

The physical package also contains the textbook in book format (digital materials are shipped on CD).