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

QRコード(所蔵情報)

フォーマット:

図書

責任表示:

Jon Barwise & John Etchemendy

言語:

英語

出版情報:

Stanford, CA : Center for the Study of Language and Information, c1993

形態:

xiv, 313 p. : ill. ; 24 cm. + 1 computer disk (3 1/2 in.)

著者名:

シリーズ名:

CSLI lecture notes ; no. 23 <BA0037651X>

書誌ID:

BA21075930

ISBN:

9780937073995 [0937073997]

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

主題:	First-order logic; Tarski's world (Computer program)
分類・件名:	LCC : BC128 DDC : 160 NDC8 : 116 LCSH : First-order logic LCSH : Tarski's world (Computer program)
LCCN:	93000419
注記:	System requirements for computer disk (Tarski's world 4.0): Macintosh computer Computer disk in pocket Includes indexes
TTLL:	eng

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 The liar : an essay on truth and circularity Barwise, Jon, Etchemendy, John, 1952- Oxford University Press	7 図書 Independence-friendly logic : a game-theoretic approach Mann, Allen L. (Allen Lawrence), Sandu, Gabriel, Sevenster, Merlijn Cambridge University Press
2 図書うそつき : 真理と循環をめぐる論考 Barwise, Jon, Etchemendy, John, 1952-, 金子, 洋之産業図書	8 図書 Information flow : the logic of distributed systems Barwise, Jon, Seligman, Jerry, 1964- Cambridge University Press
3 電子ブック Logic, Language and Computation Gabbay, Dov M.; Barwise, Jon; Akama, Seiki Springer Netherlands	9 電子ブック ProUCL version 4.0 user guide
4 図書 The situation in logic Barwise, Jon Center for the Study of Language and Information	10 電子ブック ProUCL version 4.0 technical guide
5 電子ブック The Syntax and Semantics of Infinitary Languages Jon Barwise Springer Berlin Heidelberg	11 図書 PageMaker 4.0入門 : for Macintosh 林, ひろ子ビー・エヌ・エヌ
6 図書 Formal logic : its scope and limits Jeffrey, Richard C. McGraw-Hill	12 電子ブック Proof Theory of Modal Logic Gabbay, Dov M.; Barwise, Jon; Wansing, Heinrich Springer Netherlands