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

著者名:

シリーズ名:

CSLI lecture notes ; no. 23 <BA0037651X>

ISBN:

9780937073995 [0937073997]

注記:

System requirements for computer disk (Tarski's world 4.0): Macintosh computer
Computer disk in pocket
Includes indexes

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

統一書名標記形:	Tarski's world (Computer program) <EA00032005>
主題:	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
TTLL:	eng
言語:	英語
形態:	xiv, 313 p. : ill. ; 24 cm. + 1 computer disk (3 1/2 in.)
書誌ID:	BA21075930

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Extensions of first order logic Manzano, María Cambridge University Press	7 図書 First-order dynamic logic Harel, David, 1950- Springer-Verlag
2 図書 THE LIAR : AN ESSAY ON TRUTH AND CIRCULARITY BARWISE, JON, ETCHEMENDY, JOHN OXFORD UNIV. PRESS	8 電子ブック First-Order Dynamic Logic Harel, David, SpringerLink (Online service) Springer-Verlag
3 図書 The situation in logic Barwise, Jon Center for the Study of Language and Information	9 電子ブック First-Order Dynamic Logic Harel, D., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
4 図書 StatView4.0 : Macintosh for expert : 日本語版佐藤, 敏彦, 小西, 宏明ビー・エヌ・エヌ	10 図書 DOS 4.0 reference Christopher, Ken W., Feigenbaum, Barry A., Saliga, Shon O. Wiley
5 図書うそつき : 真理と循環をめぐる論考 Barwise, Jon, Etchemendy, John, 1952-, 金子, 洋之産業図書	11 コンピュータファイル Oxford reference shelf, Windows version 1.1, Macintosh version 2.0 [CD-ROM] Oxford University Press Oxford University Press
6 図書 The syntax and semantics of infinitary languages Barwise, Jon Springer-Verlag	12 図書 WordStar 4.0 made easy Ettlin, Walter A. Osborne McGraw-Hill