FEEDBACK Smiley face

A logical introduction to proof (Record no. 9792)

000 -LEADER
fixed length control field 01252cam a22003497a 4500
001 - CONTROL NUMBER
control field 10115809
003 - CONTROL NUMBER IDENTIFIER
control field IIITD
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20140501155300.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION
fixed length control field m d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr n
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 120210s2012 nyua s 000 0 eng d
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 016068478
Source Uk
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781461436300
035 ## - SYSTEM CONTROL NUMBER
System control number (WaSeSS)ssj0000767546
040 ## - CATALOGING SOURCE
Original cataloging agency BTCTA
Language of cataloging eng
Transcribing agency BTCTA
Modifying agency UKMGB
-- YBM
-- YDXCP
-- OCLCO
-- CDX
-- BWX
-- GPM
-- DLC
-- WaSeSS
042 ## - AUTHENTICATION CODE
Authentication code lccopycat
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA9
Item number .C843 2012
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA9.54
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Item number CUN-L
Classification number 511.3
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Cunningham, Daniel W.
210 10 - ABBREVIATED TITLE
Abbreviated title A logical introduction to proof
245 12 - TITLE STATEMENT
Title A logical introduction to proof
Statement of responsibility, etc Daniel W. Cunningham.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc New York :
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc 2012.
300 ## - PHYSICAL DESCRIPTION
Extent 356P. :
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Propositional logic -- Predicate logic -- Proof strategies and diagrams -- Mathematical induction -- Set theory -- Functions -- Relations -- Core concepts in abstract algebra -- Core concepts in real analysis.
506 ## - RESTRICTIONS ON ACCESS NOTE
Terms governing access License restrictions may limit access.
600 ## - SUBJECT ADDED ENTRY--PERSONAL NAME
Personal name Mathematics
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic, Symbolic and mathematical.
773 #0 - HOST ITEM ENTRY
Title SpringerLink ebooks - Mathematics and Statistics (2013)
910 ## - USER-OPTION DATA (OCLC)
User-option data Library of Congress record
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Permanent Location Current Location Shelving location Date acquired Cost, normal purchase price Total Checkouts Total Renewals Full call number Barcode Date last seen Date checked out Cost, replacement price Price effective from Koha item type Bill No. Bill Date PO No. PO Date Vendor/Supplier
          Mathematics IIITD IIITD Reference 2014-03-22 2866.24 1 1 REF 511.3 CUN-L 004094 2015-01-14 2014-12-17 E 44.95 2014-03-22 Books IN21247 2014-03-05 IIITD/LIC/BS/2012/05/70 2014-02-28 Overseas Press India (P) Limited

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in