Logical Introduction to Proof (Record no. 6824)

MARC details
000 -LEADER
fixed length control field 01274cam a22003377a 4500
001 - CONTROL NUMBER
control field 17285634
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20150707151020.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 120504s2012 nyua 000 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2012939054
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 016068478
Source Uk
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781461436300 (hdbk. : acidfree paper)
Terms of availability Euro 26.99
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)ocn781681656
040 ## - CATALOGING SOURCE
Original cataloging agency BTCTA
Language of cataloging eng
Transcribing agency BTCTA
Modifying agency UKMGB
-- YBM
-- YDXCP
-- OCLCO
-- CDX
-- BWX
-- GPM
-- DLC
042 ## - AUTHENTICATION CODE
Authentication code lccopycat
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA9
Item number .C843 2012
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Edition number 23
Classification number 511.3 C917L
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Cunningham, Daniel W.
9 (RLIN) 5516
222 ## - KEY TITLE
Key title Mathematics Collection
245 12 - TITLE STATEMENT
Title 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 xv, 356 p. :
Other physical details ill. ;
Dimensions 24 cm.
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.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic, Symbolic and mathematical.
9 (RLIN) 5517
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic
9 (RLIN) 6246
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematics
9 (RLIN) 6247
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c copycat
d 2
e ncip
f 20
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library Shelving location Date acquired Source of acquisition Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Cost, replacement price Price effective from Koha item type Public note
    Dewey Decimal Classification   Not For Loan Reference Central Library, IISER Bhopal Central Library, IISER Bhopal Reference Section 07/07/2015 19 1628.00   511.3 C917L 6910 07/07/2015 2035.00 07/07/2015 Books Reserve



Contact for Queries: skpathak@iiserb.ac.in