Search UDS Library Collections


Tarski's world (Record no. 6658)

MARC details
000 -LEADER
fixed length control field 01555cmm a2200385 a 4500
001 - CONTROL NUMBER
control field 5001151
003 - CONTROL NUMBER IDENTIFIER
control field UDS
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20170206045410.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 950807s1993 cau b eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 95790812
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 1881526283, 9781881526285
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency UDS
Language of cataloging ENG
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number BC128
Item number B11
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Barwise, Jon.
245 10 - TITLE STATEMENT
Title Tarski's world
Medium [computer file] /
Remainder of title [Jon Barwise & John Etchemendy].
250 ## - EDITION STATEMENT
Edition statement Version 4.0 for MS Windows.
256 ## - COMPUTER FILE CHARACTERISTICS
Computer file characteristics Computer program.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Stanford, CA :
Name of publisher, distributor, etc. CSLI Publications,
Date of publication, distribution, etc. c1993.
300 ## - PHYSICAL DESCRIPTION
Extent 1 computer disk ;
Dimensions 3 1/2 in. +
Accompanying material 1 manual (xviii, 122 p.).
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title CSLI lecture notes ;
Volume/sequential designation no. 45
500 ## - GENERAL NOTE
General note Title from disk label.
500 ## - GENERAL NOTE
General note Issued also for NeXT and Macintosh computers.
520 ## - SUMMARY, ETC.
Summary, etc. A computer-based introduction to first-order logic, intended as a supplement to a logic text.
538 ## - SYSTEM DETAILS NOTE
System details note System requirements: IBM-compatible PC; DOS; Microsoft Windows 3.0 or greater; mouse recommended.
600 ## - SUBJECT ADDED ENTRY--PERSONAL NAME
Source of heading or term Logic
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element First-order logic
General subdivision Software.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Etchemendy, John,
Dates associated with a name 1952-
753 ## - SYSTEM DETAILS ACCESS TO COMPUTER FILES
Make and model of machine IBM PC
Operating system DOS
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Table of contents
Uniform Resource Identifier http://www.loc.gov/catdir/toc/cam023/95790812.html
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Publisher description
Uniform Resource Identifier http://www.loc.gov/catdir/description/cam027/95790812.html
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Contributor biographical information
Uniform Resource Identifier http://www.loc.gov/catdir/enhancements/fy1001/95790812-b.html
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c orignew
d u
e ncip
f 19
g y-gencompf
942 ## - ADDED ENTRY ELEMENTS (UDS ILS)
Source of classification or shelving scheme Library of Congress Classification
UDS Library item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
    Library of Congress Classification     CKT-UTAS Library CKT-UTAS Library General Stacks 06/02/2017   BC128 B11 NAV-51702000225 06/02/2017 06/02/2017 Books