このページのリンク

The language of first-order logic : including the Macintosh program Tarski's world / Jon Barwise and John Etchemendy
(CSLI lecture notes ; no. 23)

データ種別 図書
2nd ed., rev. and expanded
出版者 Stanford, CA : Center for the Study of Language and Information
出版年 c1991
本文言語 英語
大きさ xiv, 297 p. : ill. ; 24 cm. + 1 computer disk (3 1/2 in.)
目次/あらすじ

所蔵情報を非表示


ASRS 116/B255kz/c.2 04094474




ASRS 116/B255kz 04095295
0937073598

書誌詳細を非表示

一般注記 System requirements for computer disk (Tarski's world 3.0): Macintosh computer
Computer disk in pocket
Includes indexes
著者標目 *Barwise, Jon
Etchemendy, John, 1952-
統一書名標目 Tarski's world (Computer program)
件 名 LCSH:First-order logic
LCSH:Tarski's world (Computer program)
Tarski's world.
First-order logic
分 類 LCC:BC128
DC20:160
書誌ID 1000166687
ISBN 0937073741
NCID BA1437475X WCLINK

 類似資料