Proceedings of the Summer School in logic, Leeds, 1967: N.A.T.O. Advanced Study Institute, meeting of the association for symbolic logic
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1968
|
| Schriftenreihe: | Lecture notes in mathematics
70 |
| Schlagworte: | |
| Beschreibung: | Mit Literaturangaben zu einzelnen Beiträgen |
| Beschreibung: | 331 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV001924351 | ||
| 003 | DE-604 | ||
| 005 | 20130226 | ||
| 007 | t | ||
| 008 | 890928s1968 |||| 10||| eng d | ||
| 035 | |a (OCoLC)1401029774 | ||
| 035 | |a (DE-599)BVBBV001924351 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-91G |a DE-20 |a DE-29T |a DE-384 |a DE-355 |a DE-706 |a DE-19 |a DE-11 |a DE-188 |a DE-83 |a DE-210 | ||
| 050 | 0 | |a QA3 | |
| 082 | 0 | |a 164 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SI 850 |0 (DE-625)143199: |2 rvk | ||
| 084 | |a 03-06 |2 msc | ||
| 111 | 2 | |a Summer School in Logic |d 1967 |c Leeds |j Verfasser |0 (DE-588)2023237-8 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the Summer School in logic, Leeds, 1967 |b N.A.T.O. Advanced Study Institute, meeting of the association for symbolic logic |c ed. by M. H. Löb |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1968 | |
| 300 | |a 331 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in mathematics |v 70 | |
| 500 | |a Mit Literaturangaben zu einzelnen Beiträgen | ||
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 7 | |a calcul prédicat |2 inriac | |
| 650 | 7 | |a demi-anneau |2 inriac | |
| 650 | 7 | |a fonction récursive |2 inriac | |
| 650 | 7 | |a logique symbolique |2 inriac | |
| 650 | 7 | |a logique |2 inriac | |
| 650 | 7 | |a modèle |2 inriac | |
| 650 | 7 | |a partition |2 inriac | |
| 650 | 7 | |a programme Hilbert |2 inriac | |
| 650 | 7 | |a ultrafiltre |2 inriac | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Anthologie |0 (DE-588)4002214-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1967 |z Leeds |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 1 | 2 | |a Anthologie |0 (DE-588)4002214-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Löb, Martin H. |d 1921-2006 |0 (DE-588)12822651X |4 edt | |
| 830 | 0 | |a Lecture notes in mathematics |v 70 |w (DE-604)BV000676446 |9 70 | |
| 940 | 1 | |q HUB-ZB011201102 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001253979 | ||
Datensatz im Suchindex
| _version_ | 1804116362696589312 |
|---|---|
| any_adam_object | |
| author2 | Löb, Martin H. 1921-2006 |
| author2_role | edt |
| author2_variant | m h l mh mhl |
| author_GND | (DE-588)12822651X |
| author_corporate | Summer School in Logic Leeds |
| author_corporate_role | aut |
| author_facet | Löb, Martin H. 1921-2006 Summer School in Logic Leeds |
| author_sort | Summer School in Logic Leeds |
| building | Verbundindex |
| bvnumber | BV001924351 |
| callnumber-first | Q - Science |
| callnumber-label | QA3 |
| callnumber-raw | QA3 |
| callnumber-search | QA3 |
| callnumber-sort | QA 13 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 SI 850 |
| ctrlnum | (OCoLC)1401029774 (DE-599)BVBBV001924351 |
| 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 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02450nam a2200661 cb4500</leader><controlfield tag="001">BV001924351</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130226 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1968 |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1401029774</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001924351</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-210</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">164</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">SI 850</subfield><subfield code="0">(DE-625)143199:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Summer School in Logic</subfield><subfield code="d">1967</subfield><subfield code="c">Leeds</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)2023237-8</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the Summer School in logic, Leeds, 1967</subfield><subfield code="b">N.A.T.O. Advanced Study Institute, meeting of the association for symbolic logic</subfield><subfield code="c">ed. by M. H. Löb</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1968</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">331 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">Lecture notes in mathematics</subfield><subfield code="v">70</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Mit Literaturangaben zu einzelnen Beiträgen</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="7"><subfield code="a">calcul prédicat</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">demi-anneau</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">fonction récursive</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique symbolique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">modèle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">partition</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programme Hilbert</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ultrafiltre</subfield><subfield code="2">inriac</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">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Anthologie</subfield><subfield code="0">(DE-588)4002214-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1967</subfield><subfield code="z">Leeds</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" 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="1" ind2="2"><subfield code="a">Anthologie</subfield><subfield code="0">(DE-588)4002214-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Löb, Martin H.</subfield><subfield code="d">1921-2006</subfield><subfield code="0">(DE-588)12822651X</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in mathematics</subfield><subfield code="v">70</subfield><subfield code="w">(DE-604)BV000676446</subfield><subfield code="9">70</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">HUB-ZB011201102</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001253979</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1967 Leeds gnd-content |
| genre_facet | Konferenzschrift 1967 Leeds |
| id | DE-604.BV001924351 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:37:18Z |
| institution | BVB |
| institution_GND | (DE-588)2023237-8 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001253979 |
| oclc_num | 1401029774 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-20 DE-29T DE-384 DE-355 DE-BY-UBR DE-706 DE-19 DE-BY-UBM DE-11 DE-188 DE-83 DE-210 |
| owner_facet | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-20 DE-29T DE-384 DE-355 DE-BY-UBR DE-706 DE-19 DE-BY-UBM DE-11 DE-188 DE-83 DE-210 |
| physical | 331 S. |
| psigel | HUB-ZB011201102 |
| publishDate | 1968 |
| publishDateSearch | 1968 |
| publishDateSort | 1968 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in mathematics |
| series2 | Lecture notes in mathematics |
| spelling | Summer School in Logic 1967 Leeds Verfasser (DE-588)2023237-8 aut Proceedings of the Summer School in logic, Leeds, 1967 N.A.T.O. Advanced Study Institute, meeting of the association for symbolic logic ed. by M. H. Löb Berlin [u.a.] Springer 1968 331 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in mathematics 70 Mit Literaturangaben zu einzelnen Beiträgen Logique symbolique et mathématique Logique symbolique et mathématique ram calcul prédicat inriac demi-anneau inriac fonction récursive inriac logique symbolique inriac logique inriac modèle inriac partition inriac programme Hilbert inriac ultrafiltre inriac Logic, Symbolic and mathematical Mathematik (DE-588)4037944-9 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Anthologie (DE-588)4002214-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1967 Leeds gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Logik (DE-588)4036202-4 s Mathematik (DE-588)4037944-9 s Anthologie (DE-588)4002214-6 s Löb, Martin H. 1921-2006 (DE-588)12822651X edt Lecture notes in mathematics 70 (DE-604)BV000676446 70 |
| spellingShingle | Proceedings of the Summer School in logic, Leeds, 1967 N.A.T.O. Advanced Study Institute, meeting of the association for symbolic logic Lecture notes in mathematics Logique symbolique et mathématique Logique symbolique et mathématique ram calcul prédicat inriac demi-anneau inriac fonction récursive inriac logique symbolique inriac logique inriac modèle inriac partition inriac programme Hilbert inriac ultrafiltre inriac Logic, Symbolic and mathematical Mathematik (DE-588)4037944-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Anthologie (DE-588)4002214-6 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4037944-9 (DE-588)4037951-6 (DE-588)4002214-6 (DE-588)4036202-4 (DE-588)1071861417 |
| title | Proceedings of the Summer School in logic, Leeds, 1967 N.A.T.O. Advanced Study Institute, meeting of the association for symbolic logic |
| title_auth | Proceedings of the Summer School in logic, Leeds, 1967 N.A.T.O. Advanced Study Institute, meeting of the association for symbolic logic |
| title_exact_search | Proceedings of the Summer School in logic, Leeds, 1967 N.A.T.O. Advanced Study Institute, meeting of the association for symbolic logic |
| title_full | Proceedings of the Summer School in logic, Leeds, 1967 N.A.T.O. Advanced Study Institute, meeting of the association for symbolic logic ed. by M. H. Löb |
| title_fullStr | Proceedings of the Summer School in logic, Leeds, 1967 N.A.T.O. Advanced Study Institute, meeting of the association for symbolic logic ed. by M. H. Löb |
| title_full_unstemmed | Proceedings of the Summer School in logic, Leeds, 1967 N.A.T.O. Advanced Study Institute, meeting of the association for symbolic logic ed. by M. H. Löb |
| title_short | Proceedings of the Summer School in logic, Leeds, 1967 |
| title_sort | proceedings of the summer school in logic leeds 1967 n a t o advanced study institute meeting of the association for symbolic logic |
| title_sub | N.A.T.O. Advanced Study Institute, meeting of the association for symbolic logic |
| topic | Logique symbolique et mathématique Logique symbolique et mathématique ram calcul prédicat inriac demi-anneau inriac fonction récursive inriac logique symbolique inriac logique inriac modèle inriac partition inriac programme Hilbert inriac ultrafiltre inriac Logic, Symbolic and mathematical Mathematik (DE-588)4037944-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Anthologie (DE-588)4002214-6 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Logique symbolique et mathématique calcul prédicat demi-anneau fonction récursive logique symbolique logique modèle partition programme Hilbert ultrafiltre Logic, Symbolic and mathematical Mathematik Mathematische Logik Anthologie Logik Konferenzschrift 1967 Leeds |
| volume_link | (DE-604)BV000676446 |
| work_keys_str_mv | AT summerschoolinlogicleeds proceedingsofthesummerschoolinlogicleeds1967natoadvancedstudyinstitutemeetingoftheassociationforsymboliclogic AT lobmartinh proceedingsofthesummerschoolinlogicleeds1967natoadvancedstudyinstitutemeetingoftheassociationforsymboliclogic |