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

Bibliographic Details
Main Author: Barwise, Jon, 1942-2000
Other Authors: Etchemendy, John, 1952-
Format: Book
Language:English
Published: Stanford : Centre for the study of language and information, 1992.
Edition:3a. ed. rev. and aum.
Series:CSLI Lecture notes ; no. 34
Subjects: