Normal view MARC view ISBD view

Proof and disproof in formal logic : (Record no. 30112)

MARC details
000 -LEADER
fixed length control field	00881nam a2200241 a 4500
001 - CONTROL NUMBER
control field	vtls000014861
003 - CONTROL NUMBER IDENTIFIER
control field	KUKTEM
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20251117144133.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	060803t nyu e 001 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	0198530269
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
Level of rules in bibliographic description	201107131833
Level of effort used to assign nonsubject heading access points	VLOAD
Level of effort used to assign subject headings	200908141224
Level of effort used to assign classification	VLOAD
Level of effort used to assign subject headings	200908141156
Level of effort used to assign classification	VLOAD
Level of effort used to assign subject headings	200908131630
Level of effort used to assign classification	VLOAD
--	200608030902
--	dilla
040 ## - CATALOGING SOURCE
Original cataloging agency	UMP
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR)	BC173 .B67 2005
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name	Bornat, Richard.
245 1# - TITLE STATEMENT
Title	Proof and disproof in formal logic :
Remainder of title	an introduction for programmers /
Statement of responsibility, etc.	Richard Bornat.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	New York :
Name of publisher, distributor, etc.	Oxford University Press,
Date of publication, distribution, etc.	2005.
300 ## - PHYSICAL DESCRIPTION
Extent	243 p. :
Other physical details	ill. ;
Dimensions	25 cm.
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title	Oxford texts in logic 2
505 ## - FORMATTED CONTENTS NOTE
Formatted contents note	Basics -- Formal proof -- Disproof -- Proof of programs
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Evidence
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Logic, Modern

Holdings
Withdrawn status	Lost status	Source of classification or shelving scheme	Damaged status	Not for loan	Home library	Current library	Date acquired	Cost, normal purchase price	Total checkouts	Full call number	Barcode	Date last seen	Copy number	Cost, replacement price	Price effective from	Koha item type
	Not lost	Library of Congress Classification			UMPLIB GAMBANG	UMPLIB GAMBANG	04/09/2019	261.00		BC173 .B67 2005	0000016937	04/09/2019	1	261.00	04/09/2019	Open Shelf