Teaching first-order logic with Tarski's world : an interactive graphical representation system

J. van der Pal, G.J.A. Baars

Research output: Book/Report › Report › Professional

Name	Memorandum IST
No.	94-07

Keywords

@book{b89485f31f134233adde9790b8cba0f5,

title = "Teaching first-order logic with Tarski's world : an interactive graphical representation system",

keywords = "METIS-139715",

author = "{van der Pal}, J. and G.J.A. Baars",

year = "1994",

month = feb,

day = "1",

language = "English",

series = "Memorandum IST",

publisher = "University of Twente",

number = "94-07",

address = "Netherlands",

}

TY - BOOK

T1 - Teaching first-order logic with Tarski's world : an interactive graphical representation system

AU - van der Pal, J.

AU - Baars, G.J.A.

PY - 1994/2/1

Y1 - 1994/2/1

KW - METIS-139715

M3 - Report

T3 - Memorandum IST

BT - Teaching first-order logic with Tarski's world : an interactive graphical representation system

PB - University of Twente

CY - Enschede

ER -