Normal view MARC view ISBD view

The language of first-order logic : including the program Tarski's World / Jon Barwise and John Etchemendy

By: Barwise, Jon
Contributor(s): Etchemendy, John.
Call number: 160 B296L Material type: materialTypeLabelBookSeries: CSLI lecture notes ; no. 23Publisher: Menlo Park, Calif. : CSLI, c1990 Description: xiii, 259 p.ISBN: 0937073598.Subject(s): Logic, Symbolic and mathematical | Proposition (Logic) | Induction (Logic) | Set theory | First-order logic
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Location Call number Status Date due Copy No. Barcode
หนังสือทั่วไป CL_General Book 160 B296L (Browse shelf) Available 1 1000103922

There are no comments for this item.

Log in to your account to post a comment.