MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02646cam a2200397 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn702192563 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240726102039.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
050011s2006 nyua b 001 0 eng |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
2005029447 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780521675994 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780521861243 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
DLC |
| Language of cataloging |
eng |
| Description conventions |
rda |
| Transcribing agency |
YUS |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
pcc |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
SBIM |
| 050 04 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA9 |
| 050 04 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA9.V439.H698 2006 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Velleman, Daniel J, |
| Relator term |
Author |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
How to prove it : |
| Remainder of title |
a structured approach / |
| Statement of responsibility, etc. |
Daniel J. Velleman. |
| Medium |
[print] |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
second edition. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
New York : |
| Name of publisher, distributor, etc. |
Cambridge University Press, |
| Date of publication, distribution, etc. |
(c)2006. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xiii, 384 pages : |
| Other physical details |
illustrations ; |
| Dimensions |
24 cm. |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
unmediated |
| Media type code |
n |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
volume |
| Carrier type code |
nc |
| Source |
rdacarrier |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographies and index. |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Introduction -- |
| Title |
Sentential logic -- |
| -- |
1.1 Deductive reasoning and logical connectives -- |
| -- |
1.2 truth tables -- |
| -- |
1.3 variables and sets -- |
| -- |
1.4 operations on sets -- |
| -- |
1.5 The conditional and biconditional connectives -- |
| -- |
Quantificational logic -- |
| -- |
2.1 Quantifiers -- |
| -- |
2.2 Equivalences involving quantifiers -- |
| -- |
2.3 More operations on sets -- |
| -- |
Proofs -- |
| -- |
3.1 proof strategies -- |
| -- |
3.2 proofs involving negations and conditionals -- |
| -- |
3.3 Proofs involving quantifiers -- |
| -- |
3.4 Proofs involving conjunctions and biconditionals -- |
| -- |
3.5 Proofs involving disjunctions -- |
| -- |
3.6 Existence and uniqueness proofs -- |
| -- |
3.7 More examples of proofs -- |
| -- |
Relations -- |
| -- |
4.1 Ordered pairs and cartesian products -- |
| -- |
4.2 Relations -- |
| -- |
4.3 More about relations -- |
| -- |
4.4 Ordering relations -- |
| -- |
4.5 Closures -- |
| -- |
4.6 Equivalence relations -- |
| -- |
Functions -- |
| -- |
5.1 Functions -- |
| -- |
5.2 One-to-one and onto -- |
| -- |
5.3 Inverses of functions -- |
| -- |
5.4 Images and inverse images: a research project -- |
| -- |
Mathematical induction -- |
| -- |
6.1 Proof by mathematical induction -- |
| -- |
6.2 More examples -- |
| -- |
6.3 Recursion -- |
| -- |
6.4 Strong induction -- |
| -- |
6.5 Closures again -- |
| -- |
Infinite sets -- |
| -- |
7.1 Equinumerous sets -- |
| -- |
7.2 Countable and uncountable sets -- |
| -- |
7.3 The cantor--Schroder--Bernstein theorem -- |
| -- |
Appendix 1: Solutions to selected exercises -- |
| -- |
Appendix 2: Proof designer -- |
| -- |
Suggestions for further reading -- |
| -- |
Summary for proof techniques -- |
| -- |
Index. |
| 530 ## - COPYRIGHT INFORMATION: |
|---|
| COPYRIGHT INFORMATION |
COPYRIGHT NOT covered - Click this link to request copyright permission: |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Logic, Symbolic and mathematical. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Mathematics. |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) |
|---|
| a |
.b15978722 |
| b |
12-02-17 |
| c |
06-08-11 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
Circulating Book (checkout times vary with patron status) |
| Classification part |
QA |
| PUBLICATION YEAR |
2006 |
| VENDOR |
|
| Delivery Date: ACADEMIC YEAR - ie 2022-2023 |
2018-07-14 |
| COST |
0.00 |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) |
|---|
| -- |
ccst |
| -- |
cim |
| Operator's initials, OID (RLIN) |
01-04-12 |
| Cataloger's initials, CIN (RLIN) |
m |
| First date, FD (RLIN) |
a |
| -- |
- |
| -- |
eng |
| -- |
nyu |
| -- |
0 |
| 994 ## - |
|---|
| -- |
C0 |
| -- |
SBI |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) |
|---|
| g |
1 |
| i |
31923001468905 |
| j |
2 |
| l |
cimc |
| o |
- |
| p |
0.00 |
| q |
- |
| r |
- |
| s |
- -- |
| t |
61 |
| u |
2 |
| v |
1 |
| w |
2 |
| x |
0 |
| y |
.i1880603x |
| z |
06-08-11 |
| 902 ## - LOCAL DATA ELEMENT B, LDB (RLIN) |
|---|
| a |
1 |
| b |
Cynthia Snell |
| c |
1 |
| d |
Cynthia Snell |