Research Catalog

The language of first-order logic : including the IBM compatible Windows version of Tarski's World 4.0 /

Title
The language of first-order logic : including the IBM compatible Windows version of Tarski's World 4.0 / Jon Barwise and John Etchemendy.
Author
Barwise, Jon.
Publication
Stanford, CA : Center for the Study of Language and Information, c1992.

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 .B37 1992Off-site

Details

Additional Authors
Etchemendy, John, 1952-
Description
xiv, 319 p.; 24 cm. +
Series Statement
CSLI lecture notes ; no. 34
Uniform Title
Tarski's world (Computer program). 1992.
Subject
  • First-order logic
  • Tarski's World (Computer program)
Note
  • Computer disk in pocket.
  • Includes index.
ISBN
0937073903 (pbk.) :
LCCN
92038427
Owning Institutions
Princeton University Library