Export Mendeley
＜Books＞
Hyperproof / Jon Barwise & John Etchemendy ; program by Gerard Allwein, Mark Greaves, and Michael Lenz ; with additional programming by Alan Bush ... [et al.]
(CSLI lecture notes ; no. 42)
| Publisher | Stanford, Calif. : CSLI Publications |
|---|---|
| Year | c1994 |
| Codes | ID=2000733862 NCID=BA23770361
|
Show details.
| Language | English |
|---|---|
| Size | xvii, 255 p. : ill. ; 26 cm + 1 floppy disk (3 1/2 in.) |
| Authors | *Barwise, Jon Etchemendy, John, 1952- |
| Subjects | LCSH:Computer science LCSH:Logic, Symbolic and mathematical LCSH:Hyperproof LCSH:Macintosh (Computer) |
| Classification | LCC:QA76 DC20:160/.285/5369 |
| Vol | : pbk ; ISBN:1881526119 |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Reserve | Restriction | Copy | eDDS | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Letters,Tetsugaku-Rinri(Philosophy & Ethics),SANO | : pbk | 121.68/B289 | 0571238794 |
|
1881526119 | 1994 |
|