Gespeichert in:
Internformat
MARC
LEADER | 00000nam a2200000zcb4500 | ||
---|---|---|---|
001 | BV041962140 | ||
003 | DE-604 | ||
005 | 20181120 | ||
007 | cr|uuu---uuuuu | ||
008 | 140709s1968 xx o|||| 10||| eng d | ||
020 | |a 9783540042402 |c Online |9 978-3-540-04240-2 | ||
024 | 7 | |a 10.1007/BFb0079093 |2 doi | |
035 | |a (OCoLC)837988866 | ||
035 | |a (DE-599)BVBBV041962140 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a eng | |
049 | |a DE-12 |a DE-473 |a DE-703 |a DE-29 |a DE-19 |a DE-91 |a DE-739 |a DE-355 |a DE-Aug4 |a DE-860 |a DE-M347 |a DE-70 |a DE-210 |a DE-634 |a DE-859 |a DE-706 |a DE-1046 |a DE-526 |a DE-521 |a DE-384 |a DE-573 |a DE-523 | ||
082 | 0 | |a 510 | |
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 1 Online-Ressource | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 1 | |a Lecture notes in mathematics |v 70 | |
650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |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 | |
776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-540-35886-2 |
830 | 0 | |a Lecture notes in mathematics |v 70 |w (DE-604)BV014303148 |9 70 | |
856 | 4 | 0 | |u https://doi.org/10.1007/BFb0079093 |x Verlag |3 Volltext |
912 | |a ZDB-1-SLN | ||
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027404923 | |
966 | e | |u https://doi.org/10.1007/BFb0079093 |l DE-12 |p ZDB-1-SLN |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/BFb0079093 |l DE-634 |p ZDB-1-SLN |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/BFb0079093 |l DE-526 |p ZDB-1-SLN |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/BFb0079093 |l DE-210 |p ZDB-1-SLN |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/BFb0079093 |l DE-521 |p ZDB-1-SLN |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/BFb0079093 |l DE-1046 |p ZDB-1-SLN |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/BFb0079093 |l DE-Aug4 |p ZDB-1-SLN |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/BFb0079093 |l DE-573 |p ZDB-1-SLN |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/BFb0079093 |l DE-M347 |p ZDB-1-SLN |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/BFb0079093 |l DE-859 |p ZDB-1-SLN |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/BFb0079093 |l DE-860 |p ZDB-1-SLN |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/BFb0079093 |l DE-523 |p ZDB-1-SLN |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/BFb0079093 |l DE-70 |p ZDB-1-SLN |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/BFb0079093 |l DE-91 |p ZDB-1-SLN |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/BFb0079093 |l DE-384 |p ZDB-1-SLN |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/BFb0079093 |l DE-473 |p ZDB-1-SLN |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/BFb0079093 |l DE-19 |p ZDB-1-SLN |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/BFb0079093 |l DE-355 |p ZDB-1-SLN |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/BFb0079093 |l DE-703 |p ZDB-1-SLN |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/BFb0079093 |l DE-706 |p ZDB-1-SLN |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/BFb0079093 |l DE-29 |p ZDB-1-SLN |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/BFb0079093 |l DE-739 |p ZDB-1-SLN |x Verlag |3 Volltext |
Datensatz im Suchindex
DE-BY-TUM_katkey | 2008392 |
---|---|
DE-BY-UBR_katkey | 5459542 |
_version_ | 1835097141130821632 |
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 | BV041962140 |
collection | ZDB-1-SLN |
ctrlnum | (OCoLC)837988866 (DE-599)BVBBV041962140 |
dewey-full | 510 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 510 - Mathematics |
dewey-raw | 510 |
dewey-search | 510 |
dewey-sort | 3510 |
dewey-tens | 510 - Mathematics |
discipline | Mathematik |
doi_str_mv | 10.1007/BFb0079093 |
format | Electronic Conference Proceeding eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04019nam a2200769zcb4500</leader><controlfield tag="001">BV041962140</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20181120 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">140709s1968 xx o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540042402</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-540-04240-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/BFb0079093</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)837988866</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041962140</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="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-523</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</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">1 Online-Ressource</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="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in mathematics</subfield><subfield code="v">70</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">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">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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-540-35886-2</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)BV014303148</subfield><subfield code="9">70</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-1-SLN</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027404923</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="l">DE-12</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="l">DE-526</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="l">DE-210</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="l">DE-521</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="l">DE-1046</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="l">DE-573</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="l">DE-860</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="l">DE-523</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="l">DE-70</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079093</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 1967 Leeds gnd-content |
genre_facet | Konferenzschrift 1967 Leeds |
id | DE-604.BV041962140 |
illustrated | Not Illustrated |
indexdate | 2024-12-20T16:58:49Z |
institution | BVB |
institution_GND | (DE-588)2023237-8 |
isbn | 9783540042402 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027404923 |
oclc_num | 837988866 |
open_access_boolean | |
owner | DE-12 DE-473 DE-BY-UBG DE-703 DE-29 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-355 DE-BY-UBR DE-Aug4 DE-860 DE-M347 DE-70 DE-210 DE-634 DE-859 DE-706 DE-1046 DE-526 DE-521 DE-384 DE-573 DE-523 |
owner_facet | DE-12 DE-473 DE-BY-UBG DE-703 DE-29 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-355 DE-BY-UBR DE-Aug4 DE-860 DE-M347 DE-70 DE-210 DE-634 DE-859 DE-706 DE-1046 DE-526 DE-521 DE-384 DE-573 DE-523 |
physical | 1 Online-Ressource |
psigel | ZDB-1-SLN |
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 Mathematische Logik (DE-588)4037951-6 gnd Mathematik (DE-588)4037944-9 gnd Anthologie (DE-588)4002214-6 gnd Logik (DE-588)4036202-4 gnd |
subject_GND | (DE-588)4037951-6 (DE-588)4037944-9 (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 | Mathematische Logik (DE-588)4037951-6 gnd Mathematik (DE-588)4037944-9 gnd Anthologie (DE-588)4002214-6 gnd Logik (DE-588)4036202-4 gnd |
topic_facet | Mathematische Logik Mathematik Anthologie Logik Konferenzschrift 1967 Leeds |
url | https://doi.org/10.1007/BFb0079093 |
volume_link | (DE-604)BV014303148 |
work_keys_str_mv | AT summerschoolinlogicleeds proceedingsofthesummerschoolinlogicleeds1967natoadvancedstudyinstitutemeetingoftheassociationforsymboliclogic AT lobmartinh proceedingsofthesummerschoolinlogicleeds1967natoadvancedstudyinstitutemeetingoftheassociationforsymboliclogic |