The language of first-order logic : including the Macintosh version of Tarski's world 4.0 3rd ed., rev. and expanded

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

3rd ed., rev. and expanded

Notes on use

Note (General)：: System requirements for computer disk (Tarski's world 4.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: 0937073997
Title: The language of first-order logic : including the Macintosh version of Tarski's world 4.0
Author/Editor: Jon Barwise & John Etchemendy
Edition: 3rd 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: c1993
Publication Date (W3CDTF): 1993
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
NDC 8th ed.: 116
Target Audience: 一般
Note (General): System requirements for computer disk (Tarski's world 4.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/BA21075930#entity
https://lccn.loc.gov/93000419
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/BA21075930 : BA21075930
LC Control Number: 93000419
https://lccn.loc.gov/93000419