#### Filter Results:

- Full text PDF available (3)

#### Publication Year

2001

2007

- This year (0)
- Last 5 years (0)
- Last 10 years (2)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Tessa H. S. Eysink, Sanne Dijkstra, J. Kuper
- Computers in Human Behavior
- 2001

The eect of two instructional variables, visualisation and manipulation of objects, in learning to use the logical connective, conditional, was investigated. Instructions for 66 ®rstyear social science students were varied in the computer-based learning environment Tarski's World, designed for teaching ®rst-order logic (Barwise & Etchemendy, 1992. The… (More)

We describe a theory for binary relations in the Zermelo-Fraenkel style. We choose for ZFCU, a variant of ZFC Set theory in which the Axiom of Foundation is replaced by an axiom allowing for non-wellfounded sets. The theory of binary relations is shown to be equi-consistent ZFCU by constructing a model for the theory of binary relations in ZFU and vice… (More)

- Tessa, H. S. Eysink, Sanne Dijkstra, J. Kuper
- 2007

The effect of two instructional variables, visualisation and manipulation of objects, in learning to use the logical connective, conditional, was investigated. Instructions for 66 first-year social science students were varied in the computer-based learning environment Tarski’s World, designed for teaching first-order logic (Barwise & Etchemendy, 1992). For… (More)

- ‹
- 1
- ›