The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.0
Jon Barwise & John Etchemendy
Bok Engelsk 1992 · Oversiktsverk
| Utgitt | Stanford, CA : Center for the Study of Language and Information , c1992
|
|---|---|
| Omfang | XIV, 318 s.
|
| Utgave | 3rd ed., rev. & expanded.
|
| Opplysninger | Diskett i lomme
|
| Emner | |
| Sjanger | Oversiktsverk : (uri)https://id.nb.no/vocabulary/ntsf/221. - Oversiktsverker (Form) : (NO-TrBIB)HUME01307. - Oversiktsverker
|
| ISBN | 0937073903
|
