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

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

Research output: Book/ReportReportProfessional

Original languageEnglish
Place of PublicationEnschede
PublisherUniversiteit Twente
Publication statusPublished - 1 Feb 1994
Externally publishedYes

Publication series

NameMemorandum IST
No.94-07

Keywords

  • METIS-139715

Cite this