How to read and do proofs: an introduction to mathematical thought process
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York [u.a.]
Wiley
1982
|
| Schlagworte: | |
| Beschreibung: | XIV, 172 S. graph. Darst. |
| ISBN: | 0471866458 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV003700750 | ||
| 003 | DE-604 | ||
| 005 | 20140410 | ||
| 007 | t| | ||
| 008 | 900725s1982 xx d||| |||| 00||| eng d | ||
| 020 | |a 0471866458 |9 0-471-86645-8 | ||
| 035 | |a (OCoLC)8591294 | ||
| 035 | |a (DE-599)BVBBV003700750 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-739 |a DE-824 |a DE-83 |a DE-706 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 511.3 |2 19 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a SM 603 |0 (DE-625)143291: |2 rvk | ||
| 084 | |a 00A25 |2 msc | ||
| 100 | 1 | |a Solow, Daniel |e Verfasser |0 (DE-588)141538406 |4 aut | |
| 245 | 1 | 0 | |a How to read and do proofs |b an introduction to mathematical thought process |c Daniel Solow |
| 264 | 1 | |a New York [u.a.] |b Wiley |c 1982 | |
| 300 | |a XIV, 172 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Proof theory | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formaler Beweis |0 (DE-588)4506115-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweis |0 (DE-588)4132532-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Beweis |0 (DE-588)4132532-1 |D s |
| 689 | 0 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | 1 | |a Formaler Beweis |0 (DE-588)4506115-4 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-002355618 | |
Datensatz im Suchindex
| _version_ | 1817507320277499904 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Solow, Daniel |
| author_GND | (DE-588)141538406 |
| author_facet | Solow, Daniel |
| author_role | aut |
| author_sort | Solow, Daniel |
| author_variant | d s ds |
| building | Verbundindex |
| bvnumber | BV003700750 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 SM 603 |
| ctrlnum | (OCoLC)8591294 (DE-599)BVBBV003700750 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV003700750</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140410</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">900725s1982 xx d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0471866458</subfield><subfield code="9">0-471-86645-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)8591294</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV003700750</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SM 603</subfield><subfield code="0">(DE-625)143291:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">00A25</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Solow, Daniel</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)141538406</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">How to read and do proofs</subfield><subfield code="b">an introduction to mathematical thought process</subfield><subfield code="c">Daniel Solow</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Wiley</subfield><subfield code="c">1982</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 172 S.</subfield><subfield code="b">graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formaler Beweis</subfield><subfield code="0">(DE-588)4506115-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Formaler Beweis</subfield><subfield code="0">(DE-588)4506115-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002355618</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV003700750 |
| illustrated | Illustrated |
| indexdate | 2024-12-04T11:00:51Z |
| institution | BVB |
| isbn | 0471866458 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002355618 |
| oclc_num | 8591294 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-824 DE-83 DE-706 |
| owner_facet | DE-384 DE-739 DE-824 DE-83 DE-706 |
| physical | XIV, 172 S. graph. Darst. |
| publishDate | 1982 |
| publishDateSearch | 1982 |
| publishDateSort | 1982 |
| publisher | Wiley |
| record_format | marc |
| spelling | Solow, Daniel Verfasser (DE-588)141538406 aut How to read and do proofs an introduction to mathematical thought process Daniel Solow New York [u.a.] Wiley 1982 XIV, 172 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Logique symbolique et mathématique Logique symbolique et mathématique ram Logic, Symbolic and mathematical Proof theory Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Formaler Beweis (DE-588)4506115-4 gnd rswk-swf Beweis (DE-588)4132532-1 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Beweis (DE-588)4132532-1 s Mathematik (DE-588)4037944-9 s DE-604 Mathematische Logik (DE-588)4037951-6 s Formaler Beweis (DE-588)4506115-4 s 2\p DE-604 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Solow, Daniel How to read and do proofs an introduction to mathematical thought process Logique symbolique et mathématique Logique symbolique et mathématique ram Logic, Symbolic and mathematical Proof theory Mathematische Logik (DE-588)4037951-6 gnd Formaler Beweis (DE-588)4506115-4 gnd Beweis (DE-588)4132532-1 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4506115-4 (DE-588)4132532-1 (DE-588)4037944-9 (DE-588)4151278-9 |
| title | How to read and do proofs an introduction to mathematical thought process |
| title_auth | How to read and do proofs an introduction to mathematical thought process |
| title_exact_search | How to read and do proofs an introduction to mathematical thought process |
| title_full | How to read and do proofs an introduction to mathematical thought process Daniel Solow |
| title_fullStr | How to read and do proofs an introduction to mathematical thought process Daniel Solow |
| title_full_unstemmed | How to read and do proofs an introduction to mathematical thought process Daniel Solow |
| title_short | How to read and do proofs |
| title_sort | how to read and do proofs an introduction to mathematical thought process |
| title_sub | an introduction to mathematical thought process |
| topic | Logique symbolique et mathématique Logique symbolique et mathématique ram Logic, Symbolic and mathematical Proof theory Mathematische Logik (DE-588)4037951-6 gnd Formaler Beweis (DE-588)4506115-4 gnd Beweis (DE-588)4132532-1 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Logique symbolique et mathématique Logic, Symbolic and mathematical Proof theory Mathematische Logik Formaler Beweis Beweis Mathematik Einführung |
| work_keys_str_mv | AT solowdaniel howtoreadanddoproofsanintroductiontomathematicalthoughtprocess |