Research Catalog

Tarski's world : version 4.0 for the Macintosh /

Title
Tarski's world : version 4.0 for the Macintosh / Jon Barwise & John Etchemendy.
Author
Barwise, Jon.
Publication
Stanford, Calif. : Center for the Study of Language and Information, c1993.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
Not available - Please for assistance.
TextUse in library BC128 .B378 1993Off-site

Details

Additional Authors
Etchemendy, John, 1952-
Description
xviii, 116 p. : ill.; 23 cm. +
Series Statement
CSLI lecture notes ; no. 25
Subject
  • First-order logic
  • Tarski's world (Computer program)
Note
  • System requirements for computer disk: Macintosh.
  • Includes index.
ISBN
1881526275 (pbk.)
LCCN
93030043
Owning Institutions
Princeton University Library