| 000 | 01288nam a2200325 u 4500 | ||
|---|---|---|---|
| 001 | 10083181 | ||
| 003 | upatras | ||
| 005 | 20210117202407.0 | ||
| 008 | 100120s2003 us eng | ||
| 020 | _a157586374X | ||
| 040 |
_aGR-PaULI _cGR-PaULI |
||
| 041 | 0 | _aeng | |
| 082 | 0 | 4 | _a160 |
| 100 | 1 |
_aBarwise, Jon _95254 |
|
| 245 | 1 | 0 |
_aLanguage, proof, and logic _cJon Barwise & John Etchemendy in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu |
| 260 |
_aStanford, Calif. _bCSLI Publications _c2003 |
||
| 300 |
_axi, 587 p. _bill. _c24 cm _e1 cd-rom |
||
| 300 | _e1 LPL software manual | ||
| 505 | 1 | _aIncludes glossary and index | |
| 650 | 4 |
_aΛογική _9325 |
|
| 700 | 1 |
_aBarker-Plummer, Dave _984783 |
|
| 700 | 1 |
_aAllwein, Gerard _d1956- _984784 |
|
| 700 | 1 |
_aLiu, Albert _d1966- _984785 |
|
| 942 |
_2ddc _cBK15 |
||
| 998 |
_cΜΠΟΥΡΑΣ _d2010-01 |
||
| 999 |
_c58956 _d58956 |
||