The language of first-order logic: including the Macintosh version of Tarski's world 4.0

Saved in:  
Bibliographic Details
Authors: Barwise, Jon 1942-2000 (Author) ; Etchemendy, John 1952- (Author)
Format: Print Book
Language:English
Subito Delivery Service: Order now.
Check availability: HBZ Gateway
WorldCat: WorldCat
Fernleihe:Fernleihe für die Fachinformationsdienste
Published: Menlo Park [u.a.] CSLI 1993
In: CSLI lecture notes (23)
Year: 1993
Edition:3. ed., rev. and exp.
Series/Journal:CSLI lecture notes 23
Further subjects:B First-order logic
B Tarski's world (Computer program)
Online Access: Inhaltstext (Verlag)
Description
ISBN:0937073997