<Books>
Language proof and logic / Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu
Publisher | Stanford, Calif. : CSLI Publications |
---|---|
Year | c2002 |
Codes | ID=2001069939 NCID=BA58284428 |
Show details.
Language | English |
---|---|
Size | xi, 587 p. : ill. ; 24 cm. + 1 compact disc |
Other titles | spine title:Language proof & logic |
Notes | Accompanied by leaflet "LPL software manual" (52 p. ; 22 cm.) Leaflet of later printing, c2009, slightly changed "Language, proof and logic software manual / Gerald Allwein, ... [et al.]" (56 p. ; 22 cm.) "Text/Software Package"--Cover CD Version 1.3 (c2002), version 2.7(c2008) |
Authors | *Barwise, Jon Etchemendy, John, 1952- Allwein, Gerard, 1956- Barker-Plummer, Dave Liu, Albert, 1966- |
Subjects | LCSH:Logic |
Classification | LCC:BC61 DC21:160 |
Vol | : pbk ; ISBN:9781575863740 ; XISBN:157586374X |
Hide book details.
Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Reserve | Restriction | Copy | eDDS | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
Central Library, Open-Stack Room | : pbk | 160/B289 | 0174134411 |
|
157586374X | 2002 |
|
|||||
North Library (Closed Stack, 1st-3rd, Books) | : pbk | 511.3/B289 | 0190968083 |
|
157586374X | 2002 |
|
|||||
North Library (Counter, Appendix CDs etc.) | 付録CD-ROM | 0290046727 | CD ROM 770 |
|
|
|
||||||
North Library(CounterB,Appendix Cds etc) | 付録CD-ROM | 0290013886 | CD-ROM 201 |
|
|
|
||||||
North Library (Closed Stack, Nishi-hozon ippan) | : pbk | 511.3/44072 | 0181263445 |
|
9781575863740 | 2008 |
|