Asia Pacific University Library catalogue


How to read and do proofs : (Record no. 1499)

000 -LEADER
fixed length control field 01709cam a2200325 a 4500
001 - CONTROL NUMBER
control field 15972461
003 - CONTROL NUMBER IDENTIFIER
control field APU
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20150727112249.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 091104s2010 njua b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2009043723
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GBA974217
Source bnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 015336812
Source Uk
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780470392164 (pbk.)
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)ocn319498794
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency APU
Modifying agency SM
Language of cataloging eng
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA9.54
Item number .S65 2010
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.36
Edition number 22
Item number SOL 2010
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Solow, Daniel.
9 (RLIN) 3768
245 10 - TITLE STATEMENT
Title How to read and do proofs :
Remainder of title an introduction to mathematical thought processes /
Statement of responsibility, etc Daniel Solow.
250 ## - EDITION STATEMENT
Edition statement 5th ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Hoboken, N.J. :
Name of publisher, distributor, etc Wiley,
Date of publication, distribution, etc c2010.
300 ## - PHYSICAL DESCRIPTION
Extent xviii, 301 p. :
Other physical details ill. ;
Dimensions 23 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note The truth of it all -- The forward-backward method -- On definitions and mathematical terminology -- Quantifiers 1: the construction method -- Quantifiers II: the choose method -- Quantifiers III: specialization -- Quantifiers IV: nested quantifiers -- Nots of nots lead to knots -- the contradiction method -- The contrapositive method -- The uniqueness methods -- Induction -- The either/or methods -- The max/min methods -- Summary -- Appendices: Examples of proofs from discrete mathematics ; Examples of proofs from linear algebra ; Examples of proofs from modern algebra ; Examples of proofs from real analysis.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Proof theory
Form subdivision Textbooks.
9 (RLIN) 3769
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic, Symbolic and mathematical
Form subdivision Textbooks.
9 (RLIN) 3770
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
Koha issues (borrowed), all copies 1
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Use restrictions Not for loan Collection code Home library Current library Shelving location Date acquired Source of acquisition Invoice number Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Date checked out Copy number Cost, replacement price Price effective from Koha item type PO number Total Renewals
Not Withdrawn Available   Not Damaged No use restrictions Available for loan Book APU Library APU Library Open Shelf 09/02/2013 IBS Buku 86726 / B 70.00 1 QA9.54 .S65 2010 c.1 00002868 15/05/2017 15/05/2017 1 70.00 09/02/2013 General Circulation 2012/04/2362  
Not Withdrawn Available   Not Damaged No use restrictions Available for loan Book APU Library APU Library Open Shelf 07/11/2013 IBS Buku 86726 / B | 86726 / B 70.00 2 QA9.54 .S65 2010 c.2 00022480 29/07/2017 29/07/2017 2 70.00 07/11/2013 General Circulation 2012/04/2362 2