Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

1 relation
First-order logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2001
2001
Cognitive processes in solving variants of computer-based problems used in logic teaching
Review
1999
Review
1999
Review: Jon Barwise, John Etchemendy, The Language of First-Order Logic, Including the IBM-Compatible Windows Version of Tarski's World 4.0; Jon Barwise, John Etchemendy, Hyperproof
common implementation techniques for Lisp, ML, and other programming languages. Then the topic of equivalence of various… 
1996
1996
The role of interactive graphics in learning to reason abstractly
Deductive reasoning has intrigued many psychologists, as (intelligent) people appear not to reason logically in many research… 
1994
1994
Architectures For Heterogeneous Reasoning On Interlinguae
The design of any computer system with a multimedia interface involves the designer in fundamental theoretical questions… 
1993
1993
Tarski's world : version 4.0 for MS Windows
How to use this book 1. How to use Tarski's World 2. Exercises on propositional logic 3. Exercises on first-order logic 4. More… 
1993
1993
Tarski's World: Version 4.0 for Macintosh (Center for the Study of Language and Information - Lecture Notes)
In what case do you like reading so much? What about the type of the tarskis world version 4 0 for macintosh center for the study… 
1993
1993
Tarski's world : version 4.0 for the Macintosh
How to use this book 1. How to use Tarski's World 2. Exercises on propositional logic 3. Exercises on first-order logic 4. More… 
1993
1993
Tarski's World: Revised and Expanded
1992
1992
The Language of First-Order Logic Including the Ibm-Compatible Windows Version of Tarski's World 4.0
Preface 1. Introduction Part I. Propositional Logic: 2. Atomic sentences 3. Conjunctions, disjunctions, and negations 4… 
1991
1991
Tarski's World 3.0 Including the Macintosh Program
How to use this book 1. How to use Tarski's World 2. Exercises on propositional logic 3. Exercises on first-order logic 4. More… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)