The language of first-order logic : including the Macintosh program Tarski's world

書誌事項

The language of first-order logic : including the Macintosh program Tarski's world

Jon Barwise and John Etchemendy

(CSLI lecture notes, no. 23)

Center for the Study of Language and Information, c1991

2nd ed., rev. and expanded

統一タイトル

Tarski's world (Computer program)

大学図書館所蔵 件 / 24

この図書・雑誌をさがす

注記

System requirements for computer disk (Tarski's world 3.0): Macintosh computer

Computer disk in pocket

Includes indexes

関連文献: 1件中  1-1を表示

  • CSLI lecture notes

    Center for the Study of Language and Information, Stanford University (CSLI)

詳細情報

ページトップへ