The language of first-order logic : including the Macintosh program Tarski's world 2nd ed., rev. and expanded

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

2nd ed., rev. and expanded

Notes on use

Note (General)：: System requirements for computer disk (Tarski's world 3.0): Macintosh computerComputer disk in pocketIncludes indexes

Related materials as well as pre- and post-revision versions

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN: 0937073741
Title: The language of first-order logic : including the Macintosh program Tarski's world
Author/Editor: Jon Barwise and John Etchemendy
Edition: 2nd ed., rev. and expanded
Author Heading: Barwise, Jon
https://ci.nii.ac.jp/author/DA00049826
Etchemendy, John
https://ci.nii.ac.jp/author/DA02109066
Publication, Distribution, etc.: Center for the Study of Language and Information
Publication Date: c1991
Publication Date (W3CDTF): 1991
Size: 24 cm.
Place of Publication (Country Code): us
Text Language Code: en
Subject Heading: First-order logic
Tarski's world (Computer program)
LCC: BC128
Target Audience: 一般
Note (General): System requirements for computer disk (Tarski's world 3.0): Macintosh computer
Computer disk in pocket
Includes indexes
Related Material: CSLI lecture notes
https://cir.nii.ac.jp/crid/1130000793986239616
Related Material (URI): https://ci.nii.ac.jp/ncid/BA1437475X#entity
https://lccn.loc.gov/91036151
Periodical Title: CSLI lecture notes
https://cir.nii.ac.jp/crid/1130000793986239616
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BA1437475X : BA1437475X
LC Control Number: 91036151
https://lccn.loc.gov/91036151