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
|