Language, proof, and logic/

Main Author: Barwise, Jon
Other Authors: Barker-Plummer, Dave, Liu, Albert,
Format: Book
Language:English
Published: Stanford, Calif.: CSLI Publications, c2002
Subjects:
LEADER 00841nam a2200217 a 4500
001 1956509
005 20171111235842.0
008 031110s2002 cy da r 000 u eng d
020 |a 1889119083  |q pbk. 
040 |a CY  |b University of Cyprus  |e AACR2 
050 |a BC61.B38 2002 
100 1 |a Barwise, Jon 
245 1 0 |a Language, proof, and logic/  |c Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu 
260 1 0 |a Stanford, Calif.:  |b CSLI Publications,  |c c2002 
300 1 0 |a xi, 587 p. ;  |c 24 cm. +  |e 1 CD-ROM (4 3/4 in.) 
500 1 0 |a Includes indexes. 
650 1 0 |a Logic 
700 1 0 |a Barker-Plummer, Dave 
700 1 0 |a Liu, Albert, 
952 |a GR-AtNTU  |b 59cc1ad26c5ad13446f7831a  |c 998a  |d 945l  |e 160 BAR  |t 1  |x m  |z Books 
952 |a CY-NiOUC  |b 5a044ce06c5ad14ac1ebc7bf  |c 998a  |d 945l  |e BC61.B38 2002  |t 2  |x m  |z Books