| 000 | 00593nam a2200217Ia 4500 | ||
|---|---|---|---|
| 008 | 230518s9999 xx 000 0 und d | ||
| 020 | _a0937073598 | ||
| 040 | _cUDSM | ||
| 050 | _aBC128.B37 | ||
| 100 | _aBarwise, Jon | ||
| 245 | 4 | _aThe language of first-order logic: including the Macintosh program Tarski's world | |
| 260 | _aStanford | ||
| 260 | _bC. A. Center for the Study of Language and Information | ||
| 260 | _c1991 | ||
| 300 | _axiv,297p. | ||
| 300 | _c24cm. | ||
| 650 | _aFirst-order logic | ||
| 700 | _aill. | ||
| 942 | _2Library of Congress Library | ||
| 942 | _cBook | ||
| 999 |
_c6739 _d6739 |
||