| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a2200000Mi 4500 |
| 001 |
in00003569310 |
| 006 |
m o d |
| 007 |
cr mnu---uuaaa |
| 008 |
121227s1998 enk o 000 0 eng |
| 005 |
20260421164750.2 |
| 020 |
|
|
|a 9781447106036 (electronic bk.)
|
| 020 |
|
|
|a 1447106032 (electronic bk.)
|
| 020 |
|
|
|z 9783540761235
|
| 020 |
|
|
|z 3540761233
|
| 035 |
|
|
|a (OCoLC)853266501
|
| 040 |
|
|
|a AU@
|b eng
|c AU@
|d OCLCO
|d OCLCQ
|d GW5XE
|d OCLCF
|d UtOrBLW
|
| 049 |
|
|
|a TXAM
|
| 050 |
|
4 |
|a QA8.9-10.3
|
| 072 |
|
7 |
|a PBC
|2 bicssc
|
| 072 |
|
7 |
|a PBCD
|2 bicssc
|
| 072 |
|
7 |
|a MAT018000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 511.3
|2 23
|
| 100 |
1 |
|
|a Johnson, D. L.
|
| 245 |
1 |
0 |
|a Elements of Logic via Numbers and Sets /
|c by D.L. Johnson.
|
| 264 |
|
1 |
|a London :
|b Springer London,
|c 1998.
|
| 300 |
|
|
|a 1 online resource (x, 188 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Springer undergraduate mathematics series,
|x 1615-2085
|
| 505 |
0 |
|
|a Introduction -- Numbers -- Logic -- Sets -- Relations -- Mappings -- Cardinal Numbers -- Solutions to Selected Excercises -- Guide to Literature -- Index -- Dramatis Personae.
|
| 520 |
|
|
|a In mathematics we are interested in why a particular formula is true. Intuition and statistical evidence are insufficient, so we need to construct a formal logical proof. The purpose of this book is to describe why such proofs are important, what they are made of, how to recognize valid ones, how to distinguish different kinds, and how to construct them. This book is written for 1st year students with no previous experience of formulating proofs. Dave Johnson has drawn from his considerable experience to provide a text that concentrates on the most important elements of the subject using clear, simple explanations that require no background knowledge of logic. It gives many useful examples and problems, many with fully-worked solutions at the end of the book. In addition to a comprehensive index, there is also a useful `Dramatis Personae` an index to the many symbols introduced in the text, most of which will be new to students and which will be used throughout their degree programme.
|
| 500 |
|
|
|a Electronic resource.
|
| 650 |
|
0 |
|a Mathematics.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
| 650 |
|
0 |
|a Number theory.
|
| 650 |
|
7 |
|a Logic, Symbolic and mathematical.
|2 fast
|0 (OCoLC)fst01002068
|
| 650 |
|
7 |
|a Mathematics.
|2 fast
|0 (OCoLC)fst01012163
|
| 650 |
|
7 |
|a Number theory.
|2 fast
|0 (OCoLC)fst01041214
|
| 655 |
|
7 |
|a Electronic books.
|2 local
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 776 |
1 |
8 |
|i Print version:
|z 9783540761235
|
| 830 |
|
0 |
|a Springer undergraduate mathematics series.
|
| 856 |
4 |
0 |
|u http://proxy.library.tamu.edu/login?url=https://link.springer.com/10.1007/978-1-4471-0603-6
|z Connect to the full text of this electronic book
|t 0
|
| 994 |
|
|
|a 92
|b TXA
|
| 999 |
|
|
|a MARS
|
| 999 |
f |
f |
|s 1a2375f4-9525-3767-a558-b0aae7deaf85
|i 04bededa-2822-31ee-979e-42845c58e0c7
|t 0
|
| 952 |
f |
f |
|a Texas A&M University
|b College Station
|c Electronic Resources
|s www_evans
|d Available Online
|t 0
|e QA8.9-10.3
|h Library of Congress classification
|
| 998 |
f |
f |
|a QA8.9-10.3
|t 0
|l Available Online
|