Research Catalog

Tarski's world : version 4.0 for the Macintosh

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

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Book/TextUse in library BC128 .B378 1993Off-site

Details

Additional Authors
Etchemendy, John, 1952-
Description
xviii pages.
Series Statement
CSLI lecture notes ; no. 25
Uniform Title
CSLI lecture notes ; no. 25.
Subject
  • Tarski's world > Handbooks, manuals, etc
  • Tarski's world
  • First-order logic > Handbooks, manuals, etc
  • First-order logic
  • Logique du premier ordre > Logiciels
Genre/Form
Handbooks and manuals.
Note
  • System requirements for computer disk: Macintosh.
  • Includes index.
ISBN
  • 1881526275
  • 9781881526278
LCCN
93030043
OCLC
  • ocm28633185
  • 28633185
  • SCSB-2024305
Owning Institutions
Princeton University Library