Web Directory

    Top: Science: Math: Logic_and_Foundations: Education:

 

Logic Software from CSLI

  Link Details for: Logic Software from CSLI
Link Title: Logic Software from CSLI Open in a new window
Link URL: http://www-csli.stanford.edu/hp/
Link Details: Hyperproof, Tarski's World, Turing's World, and The Language of First-order Logic, educational logic software by Jon Barwise and John Etchemendy
Category: Top : Science : Math : Logic_and_Foundations : Education
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Logic Software from CSLI