The language of first-order logic : including the program Tarski's world
Jon Barwise and John Etchemendy
Bok Engelsk 1990
Utgitt | Stanford, Calif. : CSLI , c1990
|
---|---|
Omfang | xiii, 259 s. + 1 diskett
|
Opplysninger | Diskett i lomme
|
Emner | |
ISBN | 093707358X. - 0937073598
|