Download.com
  • Navigation
  • open search
Close

PLATFORMS

POPULAR LINKS

CATEGORIES

HELP & SETTINGS

What do you need to know about free software?

screenshots

Full Specifications

What's new in version 1.3

  • added support for The Logic Book PD+ rule system
  • added support for Accessible Introduction ND+ rule system
  • added ability to export a deduction to a Text file
  • added ability to export a deduction to a LaTeX snippet

General

Publisher Wandering Mango
Publisher web site http://www.wanderingmango.com
Release Date September 13, 2010
Date Added September 13, 2010
Version 1.3

Category

Category Educational Software
Subcategory Student Tools

Operating Systems

Operating Systems Mac OS X 10.5/10.6
Additional Requirements None

Download Information

File Size 5.95MB
File Name Deductions13.dmg

Popularity

Total Downloads 573
Downloads Last Week 2

Pricing

License Model Free to try
Limitations Only the following deduction rules are available in the trial version: Premise, Assumption, Reiteration, Conjunction Introduction, Conjunction Elimination, Conditional Introduction, Conditional Elimination, Tilde Introduction, Tilde Elimination
Price $24.99
Report a problem