Saved in:
| Title: | Proceedings of the Summer School in logic, Leeds, 1967 N.A.T.O. Advanced Study Institute, meeting of the association for symbolic logic |
|---|---|
| From: |
ed. by M. H. Löb
|
| Person: |
Löb, Martin H.
1921-2006 |
| Corporate Author: | |
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
1968
|
| Series: | Lecture notes in mathematics
70 |
| Subjects: | |
| Item Description: | Mit Literaturangaben zu einzelnen Beiträgen |
| Physical Description: | 331 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV001924351 | ||
| 003 | DE-604 | ||
| 005 | 20130226 | ||
| 007 | t| | ||
| 008 | 890928s1968 xx |||| 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 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-001253979 | |
Record in the Search Index
| DE-BY-TUM_call_number | 0102 MAT 001z 2001 B 999-70 |
|---|---|
| DE-BY-TUM_katkey | 138304 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040020526890 |
| DE-BY-UBR_call_number | 00/CC 2600 L825 P9 80/SI 850-70 |
| DE-BY-UBR_katkey | 417907 |
| DE-BY-UBR_location | UB Magazin UB Lesesaal Mathematik |
| DE-BY-UBR_media_number | 069014398316 069008489539 |
| _version_ | 1835094502775193600 |
| 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>02451nam 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 xx |||| 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="943" ind1="1" 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-12-20T07:43: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 |
| 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 |
System Under Maintenance
Available at UBR
Items can be borrowed from the UBR with a personal library card.