Language, Proof and Logic
Language, Proof and Logic is an educational software package, devised and written by Jon Barwise and John Etchemendy, geared to teaching formal logic through the use of a tight integration between a textbook (same name as the package) and four software programs, where three of them are logic related (Boole, Fitch and Tarski's World) and the other (Submit) is an internet-based grading service. The name is a pun derived from Language, Truth, and Logic, the philosophy book by A. J. Ayer.
Wikipage disambiguates
Link from a Wikipage to another Wikipage
primaryTopic
Language, Proof and Logic
Language, Proof and Logic is an educational software package, devised and written by Jon Barwise and John Etchemendy, geared to teaching formal logic through the use of a tight integration between a textbook (same name as the package) and four software programs, where three of them are logic related (Boole, Fitch and Tarski's World) and the other (Submit) is an internet-based grading service. The name is a pun derived from Language, Truth, and Logic, the philosophy book by A. J. Ayer.
has abstract
Language, Proof and Logic (Lin ...... ro de filosofia de A. J. Ayer.
@pt
Language, Proof and Logic is a ...... educational software package.
@en
Link from a Wikipage to an external page
Wikipage page ID
31,629,330
page length (characters) of wiki page
Wikipage revision ID
994,811,816
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
type
comment
Language, Proof and Logic (Lin ...... ro de filosofia de A. J. Ayer.
@pt
Language, Proof and Logic is a ...... philosophy book by A. J. Ayer.
@en
label
Language, Proof and Logic
@en
Language, Proof and Logic
@pt