Formal methods: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Dordrecht
Reidel
1962
|
| Series: | Synthese library
4 |
| Subjects: | |
| Physical Description: | XIV, 170 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV001915370 | ||
| 003 | DE-604 | ||
| 005 | 19970925 | ||
| 007 | t | ||
| 008 | 890928s1962 |||| 00||| ger d | ||
| 035 | |a (OCoLC)373057 | ||
| 035 | |a (DE-599)BVBBV001915370 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-384 |a DE-355 |a DE-20 |a DE-29 |a DE-29T |a DE-824 |a DE-19 |a DE-210 | ||
| 050 | 0 | |a BC135 | |
| 082 | 0 | |a 164 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a QH 120 |0 (DE-625)141532: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Beth, Evert Willem |d 1908-1964 |e Verfasser |0 (DE-588)121030660 |4 aut | |
| 245 | 1 | 0 | |a Formal methods |b an introduction to symbolic logic and to the study of effective operations in arithmetic and logic |c Evert W. Beth |
| 264 | 1 | |a Dordrecht |b Reidel |c 1962 | |
| 300 | |a XIV, 170 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Synthese library |v 4 | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Synthese library |v 4 |w (DE-604)BV000005044 |9 4 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001248386 | ||
Record in the Search Index
| _version_ | 1804116353591803904 |
|---|---|
| any_adam_object | |
| author | Beth, Evert Willem 1908-1964 |
| author_GND | (DE-588)121030660 |
| author_facet | Beth, Evert Willem 1908-1964 |
| author_role | aut |
| author_sort | Beth, Evert Willem 1908-1964 |
| author_variant | e w b ew ewb |
| building | Verbundindex |
| bvnumber | BV001915370 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC135 |
| callnumber-raw | BC135 |
| callnumber-search | BC135 |
| callnumber-sort | BC 3135 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2400 CC 2600 QH 120 SK 130 |
| ctrlnum | (OCoLC)373057 (DE-599)BVBBV001915370 |
| dewey-full | 164 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 164 - [Unassigned] |
| dewey-raw | 164 |
| dewey-search | 164 |
| dewey-sort | 3164 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Mathematik Philosophie Wirtschaftswissenschaften |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01438nam a2200421 cb4500</leader><controlfield tag="001">BV001915370</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970925 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1962 |||| 00||| ger d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)373057</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001915370</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-210</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC135</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">164</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 120</subfield><subfield code="0">(DE-625)141532:</subfield><subfield code="2">rvk</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">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Beth, Evert Willem</subfield><subfield code="d">1908-1964</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121030660</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods</subfield><subfield code="b">an introduction to symbolic logic and to the study of effective operations in arithmetic and logic</subfield><subfield code="c">Evert W. Beth</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Reidel</subfield><subfield code="c">1962</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 170 S.</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="490" ind1="1" ind2=" "><subfield code="a">Synthese library</subfield><subfield code="v">4</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="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Synthese library</subfield><subfield code="v">4</subfield><subfield code="w">(DE-604)BV000005044</subfield><subfield code="9">4</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001248386</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV001915370 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:37:10Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001248386 |
| oclc_num | 373057 |
| open_access_boolean | |
| owner | DE-384 DE-355 DE-BY-UBR DE-20 DE-29 DE-29T DE-824 DE-19 DE-BY-UBM DE-210 |
| owner_facet | DE-384 DE-355 DE-BY-UBR DE-20 DE-29 DE-29T DE-824 DE-19 DE-BY-UBM DE-210 |
| physical | XIV, 170 S. |
| publishDate | 1962 |
| publishDateSearch | 1962 |
| publishDateSort | 1962 |
| publisher | Reidel |
| record_format | marc |
| series | Synthese library |
| series2 | Synthese library |
| spelling | Beth, Evert Willem 1908-1964 Verfasser (DE-588)121030660 aut Formal methods an introduction to symbolic logic and to the study of effective operations in arithmetic and logic Evert W. Beth Dordrecht Reidel 1962 XIV, 170 S. txt rdacontent n rdamedia nc rdacarrier Synthese library 4 Logique symbolique et mathématique ram Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Logik (DE-588)4036202-4 s DE-604 Synthese library 4 (DE-604)BV000005044 4 |
| spellingShingle | Beth, Evert Willem 1908-1964 Formal methods an introduction to symbolic logic and to the study of effective operations in arithmetic and logic Synthese library Logique symbolique et mathématique ram Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4151278-9 |
| title | Formal methods an introduction to symbolic logic and to the study of effective operations in arithmetic and logic |
| title_auth | Formal methods an introduction to symbolic logic and to the study of effective operations in arithmetic and logic |
| title_exact_search | Formal methods an introduction to symbolic logic and to the study of effective operations in arithmetic and logic |
| title_full | Formal methods an introduction to symbolic logic and to the study of effective operations in arithmetic and logic Evert W. Beth |
| title_fullStr | Formal methods an introduction to symbolic logic and to the study of effective operations in arithmetic and logic Evert W. Beth |
| title_full_unstemmed | Formal methods an introduction to symbolic logic and to the study of effective operations in arithmetic and logic Evert W. Beth |
| title_short | Formal methods |
| title_sort | formal methods an introduction to symbolic logic and to the study of effective operations in arithmetic and logic |
| title_sub | an introduction to symbolic logic and to the study of effective operations in arithmetic and logic |
| topic | Logique symbolique et mathématique ram Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd |
| topic_facet | Logique symbolique et mathématique Logic, Symbolic and mathematical Logik Einführung |
| volume_link | (DE-604)BV000005044 |
| work_keys_str_mv | AT bethevertwillem formalmethodsanintroductiontosymboliclogicandtothestudyofeffectiveoperationsinarithmeticandlogic |