Store

Upgrade from Tarski's World to Language, Proof and Logic

$ 25 00 Paperless Package

Download the package direct to your computer after the purchase. Your Tarski's World registration will be cancelled.

Language, Proof and Logic

Both Packages contain

  • Four desktop applications: Tarski's World, Fitch, Boole and Submit (for Windows, Macintosh and 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.

Logical Reasoning with Diagrams and Sentences

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).

Tarski's World

Both Packages contain

  • Two desktop applications: Tarski's World and Submit (for Windows, Macintosh and 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).