The nuts and bolts of proofs:
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam ; Boston
Elsevier Academic Press
c2005
|
| Ausgabe: | 3rd ed |
| Schlagworte: | |
| Online-Zugang: | BFB01 BHS01 BSB01 BTU01 BTW01 DMM01 EUV01 FAN01 FAW01 FAW02 FCO01 FFW01 FHA01 FHD01 FHI01 FHM01 FHN01 FHR01 FKE01 FLA01 FWS01 FWS02 HTW01 HWR01 LCO01 SAB01 SAM01 SBG01 SBR01 SND01 TUM01 UBA01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UEI01 UER01 UPA01 Volltext |
| Beschreibung: | Includes bibliographical references (p. 173-176) and index The Nuts and Bolts of Proof instructs students on the basic logic of mathematical proofs, showing how and why proofs of mathematical statements work. It provides them with techniques they can use to gain an inside view of the subject, reach other results, remember results more easily, or rederive them if the results are forgotten.A flow chart graphically demonstrates the basic steps in the construction of any proof and numerous examples illustrate the method and detail necessary to prove various kinds of theorems. * The "List of Symbols" has been extended. * Set Theory section has been strengthened with more examples and exercises. * Addition of "A Collection of Proofs |
| Beschreibung: | 1 Online-Ressource (xii, 179 p.) ill 23 cm |
| ISBN: | 0120885093 9780120885091 |
Internformat
MARC
| LEADER | 00000nmm a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV036962224 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 110118s2005 ne |||| o||u| ||||||eng d | ||
| 020 | |a 0120885093 |9 0-12-088509-3 | ||
| 020 | |a 9780120885091 |9 978-0-12-088509-1 | ||
| 035 | |a (OCoLC)162130107 | ||
| 035 | |a (DE-599)GBVNLM003730220 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a ne |c XA-NL | ||
| 049 | |a DE-526 |a DE-522 |a DE-523 |a DE-521 |a DE-634 |a DE-2070s |a DE-210 |a DE-155 |a DE-150 |a DE-22 |a DE-54 |a DE-128 |a DE-862 |a DE-863 |a DE-898 |a DE-92 |a DE-M347 |a DE-859 |a DE-573 |a DE-1028 |a DE-858 |a DE-1050 |a DE-1102 |a DE-1047 |a DE-1046 |a DE-Aug4 |a DE-706 |a DE-20 |a DE-355 |a DE-739 |a DE-91 |a DE-19 |a DE-29 |a DE-824 |a DE-703 |a DE-473 |a DE-384 |a DE-12 |a DE-860 |a DE-70 |a DE-B768 | ||
| 050 | 0 | |a QA9.54 | |
| 082 | 0 | |a 511.3/6 | |
| 084 | |a SK 110 |0 (DE-625)143215: |2 rvk | ||
| 245 | 1 | 0 | |a The nuts and bolts of proofs |c Antonella Cupillari |
| 250 | |a 3rd ed | ||
| 264 | 1 | |a Amsterdam ; Boston |b Elsevier Academic Press |c c2005 | |
| 300 | |a 1 Online-Ressource (xii, 179 p.) |b ill |c 23 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references (p. 173-176) and index | ||
| 500 | |a The Nuts and Bolts of Proof instructs students on the basic logic of mathematical proofs, showing how and why proofs of mathematical statements work. It provides them with techniques they can use to gain an inside view of the subject, reach other results, remember results more easily, or rederive them if the results are forgotten.A flow chart graphically demonstrates the basic steps in the construction of any proof and numerous examples illustrate the method and detail necessary to prove various kinds of theorems. * The "List of Symbols" has been extended. * Set Theory section has been strengthened with more examples and exercises. * Addition of "A Collection of Proofs | ||
| 533 | |a Online_Ausgabe |b Amsterdam |c Elsevier Science & Technology |d 2007 |f Elsevier e-book collection on ScienceDirect |n Sonstige Standardnummer des Gesamttitels: 041169-3 |n Electronic reproduction; Mode of access: World Wide Web |7 s2007 | ||
| 650 | 4 | |a Proof theory | |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Cupillari, Antonella |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Reproduktion von |t The nuts and bolts of proofs |d c2005 |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780120885091 |x Verlag |3 Volltext |
| 912 | |a ZDB-1-ELC | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020877093 | ||
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l BFB01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l BHS01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l BSB01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l BTU01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l BTW01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l DMM01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l EUV01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l FAN01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l FAW01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l FAW02 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l FCO01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l FFW01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l FHA01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l FHD01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l FHI01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l FHM01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l FHN01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l FHR01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l FKE01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l FLA01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l FWS01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l FWS02 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l HTW01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l HWR01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l LCO01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l SAB01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l SAM01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l SBG01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l SBR01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l SND01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l TUM01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l UBA01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l UBG01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l UBM01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l UBR01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l UBT01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l UBW01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l UBY01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l UEI01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l UER01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780120885091 |l UPA01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-FWS_katkey | 389841 |
|---|---|
| _version_ | 1806177798798180352 |
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV036962224 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.54 |
| callnumber-search | QA9.54 |
| callnumber-sort | QA 19.54 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 110 |
| collection | ZDB-1-ELC |
| ctrlnum | (OCoLC)162130107 (DE-599)GBVNLM003730220 |
| dewey-full | 511.3/6 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/6 |
| dewey-search | 511.3/6 |
| dewey-sort | 3511.3 16 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| edition | 3rd ed |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>07070nmm a2200937 c 4500</leader><controlfield tag="001">BV036962224</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">110118s2005 ne |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0120885093</subfield><subfield code="9">0-12-088509-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780120885091</subfield><subfield code="9">978-0-12-088509-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)162130107</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVNLM003730220</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">ne</subfield><subfield code="c">XA-NL</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-526</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-2070s</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-155</subfield><subfield code="a">DE-150</subfield><subfield code="a">DE-22</subfield><subfield code="a">DE-54</subfield><subfield code="a">DE-128</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-1047</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-B768</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.54</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/6</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 110</subfield><subfield code="0">(DE-625)143215:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The nuts and bolts of proofs</subfield><subfield code="c">Antonella Cupillari</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">3rd ed</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam ; Boston</subfield><subfield code="b">Elsevier Academic Press</subfield><subfield code="c">c2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xii, 179 p.)</subfield><subfield code="b">ill</subfield><subfield code="c">23 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 173-176) and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The Nuts and Bolts of Proof instructs students on the basic logic of mathematical proofs, showing how and why proofs of mathematical statements work. It provides them with techniques they can use to gain an inside view of the subject, reach other results, remember results more easily, or rederive them if the results are forgotten.A flow chart graphically demonstrates the basic steps in the construction of any proof and numerous examples illustrate the method and detail necessary to prove various kinds of theorems. * The "List of Symbols" has been extended. * Set Theory section has been strengthened with more examples and exercises. * Addition of "A Collection of Proofs</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Online_Ausgabe</subfield><subfield code="b">Amsterdam</subfield><subfield code="c">Elsevier Science & Technology</subfield><subfield code="d">2007</subfield><subfield code="f">Elsevier e-book collection on ScienceDirect</subfield><subfield code="n">Sonstige Standardnummer des Gesamttitels: 041169-3</subfield><subfield code="n">Electronic reproduction; Mode of access: World Wide Web</subfield><subfield code="7">s2007</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cupillari, Antonella</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Reproduktion von</subfield><subfield code="t">The nuts and bolts of proofs</subfield><subfield code="d">c2005</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-1-ELC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020877093</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">BFB01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">BHS01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">BTW01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">DMM01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">EUV01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">FAN01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">FCO01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">FFW01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">FHD01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">HWR01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">LCO01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">SAB01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">SAM01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">SBG01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">SBR01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">SND01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">UEI01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV036962224 |
| illustrated | Not Illustrated |
| indexdate | 2024-08-01T11:42:56Z |
| institution | BVB |
| isbn | 0120885093 9780120885091 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020877093 |
| oclc_num | 162130107 |
| open_access_boolean | |
| owner | DE-526 DE-522 DE-523 DE-521 DE-634 DE-2070s DE-210 DE-155 DE-BY-UBR DE-150 DE-22 DE-BY-UBG DE-54 DE-128 DE-862 DE-BY-FWS DE-863 DE-BY-FWS DE-898 DE-BY-UBR DE-92 DE-M347 DE-859 DE-573 DE-1028 DE-858 DE-1050 DE-1102 DE-1047 DE-1046 DE-Aug4 DE-706 DE-20 DE-355 DE-BY-UBR DE-739 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-29 DE-824 DE-703 DE-473 DE-BY-UBG DE-384 DE-12 DE-860 DE-70 DE-B768 |
| owner_facet | DE-526 DE-522 DE-523 DE-521 DE-634 DE-2070s DE-210 DE-155 DE-BY-UBR DE-150 DE-22 DE-BY-UBG DE-54 DE-128 DE-862 DE-BY-FWS DE-863 DE-BY-FWS DE-898 DE-BY-UBR DE-92 DE-M347 DE-859 DE-573 DE-1028 DE-858 DE-1050 DE-1102 DE-1047 DE-1046 DE-Aug4 DE-706 DE-20 DE-355 DE-BY-UBR DE-739 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-29 DE-824 DE-703 DE-473 DE-BY-UBG DE-384 DE-12 DE-860 DE-70 DE-B768 |
| physical | 1 Online-Ressource (xii, 179 p.) ill 23 cm |
| psigel | ZDB-1-ELC |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Elsevier Academic Press |
| record_format | marc |
| spellingShingle | The nuts and bolts of proofs Proof theory Beweistheorie (DE-588)4145177-6 gnd |
| subject_GND | (DE-588)4145177-6 |
| title | The nuts and bolts of proofs |
| title_auth | The nuts and bolts of proofs |
| title_exact_search | The nuts and bolts of proofs |
| title_full | The nuts and bolts of proofs Antonella Cupillari |
| title_fullStr | The nuts and bolts of proofs Antonella Cupillari |
| title_full_unstemmed | The nuts and bolts of proofs Antonella Cupillari |
| title_short | The nuts and bolts of proofs |
| title_sort | the nuts and bolts of proofs |
| topic | Proof theory Beweistheorie (DE-588)4145177-6 gnd |
| topic_facet | Proof theory Beweistheorie |
| url | http://www.sciencedirect.com/science/book/9780120885091 |
| work_keys_str_mv | AT cupillariantonella thenutsandboltsofproofs |