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

Bibliotek som har denne