Tarski's world
Subtitle: version 4.0 for MS Windows.
Contributors: Etchemendy, J.
Publisher: CSLI Publications
Published: 1993
Place of publication: Stanford, California
Language: eng