Tarski's World
Tarski's World is a computer-based introduction to first-order logic written by Jon Barwise and John Etchemendy. It is named after the mathematical logician Alfred Tarski. The package includes a book, which serves as a textbook and manual, and a computer program which together serve as an introduction to the semantics of logic through games in which simple, three-dimensional worlds are populated with various geometric figures and these are used to test the truth or falsehood of first-order logic sentences. The program is also included in Language, Proof and Logic package.
Link from a Wikipage to another Wikipage
primaryTopic
Tarski's World
Tarski's World is a computer-based introduction to first-order logic written by Jon Barwise and John Etchemendy. It is named after the mathematical logician Alfred Tarski. The package includes a book, which serves as a textbook and manual, and a computer program which together serve as an introduction to the semantics of logic through games in which simple, three-dimensional worlds are populated with various geometric figures and these are used to test the truth or falsehood of first-order logic sentences. The program is also included in Language, Proof and Logic package.
has abstract
Tarski's World is a computer-b ...... uage, Proof and Logic package.
@en
Tarski's world est un livre ac ...... ticien logicien Alfred Tarski.
@fr
Link from a Wikipage to an external page
Wikipage page ID
37,645,464
page length (characters) of wiki page
Wikipage revision ID
845,727,625
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
type
comment
Tarski's World is a computer-b ...... uage, Proof and Logic package.
@en
Tarski's world est un livre ac ...... ticien logicien Alfred Tarski.
@fr
label
Tarski's World
@en
Tarski's World
@fr