Research Catalog

Tarski's world

Title
Tarski's world / Dave Barker-Plummer, Jon Barwise & John Etchemendy ; in collaboration with Albert Liu.
Author
Barker-Plummer, Dave.
Publication
Stanford, Calif. : CSLI Publications, c2008.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
Book/TextUse in library BC128 .B35 2008Off-site

Details

Additional Authors
  • Barwise, Jon.
  • Etchemendy, John, 1952-
Description
xvii, 126 p. : ill.; 23 cm. +
Series Statement
Lecture notes ; no. 169
Uniform Title
CSLI lecture notes ; no. 169.
Subject
  • Tarski's world
  • Tarski's world
  • First-order logic
  • First-order logic
Note
  • Includes indexes.
Contents
Instructions about the exercises -- Exercises on propositional logic -- Exercises on first -order logic -- More theoretical exercises -- Using Tarski's world -- Using submit.
ISBN
  • 1575864843
  • 9781575864846
LCCN
2004017514
OCLC
  • on1340684082
  • 1340684082
  • SCSB-9577283
Owning Institutions
Princeton University Library