Tarski's world: Revised and expanded (Record no. 12903)

000 -LEADER
fixed length control field 01269cam a2200325 a 4500
001 - CONTROL NUMBER
control field 13679036
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20170105102410.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 040806s2008 caua 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2004017514
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 1575864843 (pbk. : alk. paper)
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency DLC
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number BC128
Item number .B35 2008
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3 BAR
Edition number 22
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Barker-Plummer, Dave.
245 10 - TITLE STATEMENT
Title Tarski's world: Revised and expanded
Statement of responsibility, etc. Dave Barker-Plummer, Jon Barwise, & John Etchemendy in collaboration with Albert Liu.
250 ## - EDITION STATEMENT
Edition statement Rev. and expanded.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Stanford, Calif. :
Name of publisher, distributor, etc. CSLI Publications,
Date of publication, distribution, etc. c2008.
300 ## - PHYSICAL DESCRIPTION
Extent xvii, 126 p. :
Other physical details ill.,
Dimensions 23 cm. +
Accompanying material CD-ROM (4 3/4 in.)
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title CSLI lecture notes ;
Volume/sequential designation no. 169
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes indexes.
630 00 - SUBJECT ADDED ENTRY--UNIFORM TITLE
Uniform title Tarski's world.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element First-order logic.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Barwise, Jon.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Etchemendy, John,
Dates associated with a name 1952-
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Publisher description
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/description/uchi051/2004017514.html">http://www.loc.gov/catdir/description/uchi051/2004017514.html</a>
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Table of contents
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/toc/ecip0421/2004017514.html">http://www.loc.gov/catdir/toc/ecip0421/2004017514.html</a>
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c orignew
d 1
e ecip
f 20
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Book
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Shelving location Date acquired Source of acquisition Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Date last checked out Price effective from Koha item type
          Central Library (CL) Central Library (CL) General Stacks 07/17/2014 Eagle Information Marketing 3582.32 3 511.3 BAR SEECS013233 06/10/2023 10/29/2022 07/15/2014 Book
© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.