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

Saved in:
Bibliographic Details
Main Author: Barwise, Jon
Other Authors: Etchemendy, John, 1952-
Format: Book
Language:English
Published: Stanford, CA : Center for the Study of Language and Information, [1992]
Edition:Third edition, revised & expanded.
Series:CSLI lecture notes ; no. 34.
Subjects:
Search Result 1
by Barwise, Jon
Published 1991
Book