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
1996
1996
Toward the rigorous use of diagrams in reasoning about hardware
We propose that the concept of \formal methods" be expansive enough to include a rigorous, integrated use of diagrams for… 
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 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… 
1992
1992
The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers
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)