Featured 

Natural Deduction

Software
Natural Worlds
free rating
39
Gerry Beggs
Natural Worlds is a simple application which allows you to play nature sounds through...
your Mac. After launching Natural Worlds ...else you can imagine! Natural
Deductions
rating
23
Wandering Mango
Logic software that accelerates learning by giving immediate feedback, providing interactive help...
interactive help, and making natural deduction easy
Natural Threat 2
rating
16
Alawar Entertainment, Inc
Natural Threat 2 is an adventure puzzle hidden object game. Prepare for exciting hidden object sequences...
Natural Threat 2
Ice Cream Craze: Natural Hero
rating
6
Big Fish Games
Determined to stop him, Anna decides to create her very own all...
her very own all-natural brand...in Ice Cream Craze – Natural Hero! Fantastic gameplay
MacLogic
free rating
5
fitelson
MacLogic is, to my mind, the best computer program in existence for teaching and learning...
learning how to do natural deduction proofs
Natural Color ROES
rating
3
SoftWorks Systems
Jape
free rating
3
Richard Bornat, Sufrin
Jape is a configurable graphical formal-proof calculator. It's possible to define a logic...
the sequent calculus and natural deduction, as well as functional
Natural Selection - Peppered Moths
rating
2
Newbyte Educational Software
Natural Selection...
your students in the natural selection process
Natural Music
rating
1
jp.ac.soka.unemi
Natural Selection
free rating
1
University of Colorado
Natural Selection is a great science simulation tool. It is made by the PheT department...
Natural Selection is a great...browsers. It deals with Natural Selection. Natural Selection
Natural Color Press ROES
rating
1
com.apple.jnlp-http___www.softworksroes.com_ROES_labs_NaturalColorPress_launch
Natural Date and Time
free rating
1
Darko Sancanin
Natural Date and Time is a natural language date and time zone...
Time is a natural language