MARC details
| 000 -LEADER |
|---|
| fixed length control field |
01631 a2200361 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
200419388 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
TR-AnTOB |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20231005124827.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
140425m20032013xxu 001 0 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780321782519 |
|
|---|
| International Standard Book Number |
0321782518 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
DLC |
| Modifying agency |
TR-AnTOB |
| -- |
eng |
| Description conventions |
rda |
| Language of cataloging |
eng |
| Transcribing agency |
TR-AnTOB |
| 041 ## - LANGUAGE CODE |
|---|
| Language code of text/sound track or separate title |
İngilizce |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA9.54 |
| Item number |
.C43 2013 |
| 090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN) |
|---|
| Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) |
RES QA9.54 .C43 2013 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Chartrand, Gary |
| 9 (RLIN) |
50592 |
| 245 #0 - TITLE STATEMENT |
|---|
| Title |
Mathematical proofs : |
| Remainder of title |
a transition to advanced mathematics / |
| Statement of responsibility, etc. |
Gary Chartrand, Albert D. Polimeni, Ping Zhang. |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
Third edition. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Boston : |
| Name of producer, publisher, distributor, manufacturer |
Pearson/Addison Wesley, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2013 |
|
|---|
| Place of production, publication, distribution, manufacture |
©2013,2008,2003 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xii, 400 pages; |
| Dimensions |
24 cm. |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Source |
rdacontent |
| Content type code |
txt |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
unmediated |
| Source |
rdamedia |
| Media type code |
n |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
volume |
| Source |
rdacarrier |
| Carrier type code |
nc |
| 490 0# - SERIES STATEMENT |
|---|
| Series statement |
Intelligent robotics and autonomous agents. |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
I.Sets -- II.Logic -- III.Direct Proof and Proof by Contrapositive -- IV.More on Direct Proof and Proof by Contrapositive -- V.Existence and Proof by Contradiction -- VI.Mathematical Induction -- VII.Prove or Disprove -- VIII.Equivalence Relations -- IX.Functions -- X.Cardinalities of Sets -- XI.Proofs in Number Theory -- XII.Proofs in Calculus -- XIII.Proofs in Group Theory -- XIV.Proofs in Ring Theory (Online) -- XV.Proofs in Linear Algebra (Online) -- XVI.Proofs in Topology (Online) |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Kanıt teorisi |
| Form subdivision |
Ders kitapları |
| 9 (RLIN) |
98125 |
|
|---|
| Topical term or geographic name entry element |
Proof theory |
| Form subdivision |
Textbooks |
| 9 (RLIN) |
98124 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Zhang, Ping, |
| Dates associated with a name |
1957- |
| 9 (RLIN) |
50593 |
|
|---|
| Personal name |
Polimeni, Albert D., |
| Dates associated with a name |
1938- |
| 9 (RLIN) |
98123 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
Book |
| Source of classification or shelving scheme |
Library of Congress Classification |
