The language of first-order logic : including the MacintoshTM program Tarski's world
Jon Barwise and John Etchemendy
Bok Engelsk 1991
| Utgitt | Stanford, Calif. : CSLI , c1991
|
|---|---|
| Omfang | xiv, 297 s. + 1 diskett
|
| Utgave | 2nd ed., rev. and expanded
|
| Opplysninger | Diskett i lomme
|
| Emner | |
| ISBN | 0937073741
|
