Mathematical logic and theoretical computer science:
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York, NY [u.a.]
Marcel Dekker
1987
|
| Schriftenreihe: | Lecture Notes in Pure and Applied Mathematics
106 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XVIII, 383 Seiten |
| ISBN: | 0824777468 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV000612469 | ||
| 003 | DE-604 | ||
| 005 | 20201117 | ||
| 007 | t | ||
| 008 | 870721s1987 |||| 00||| eng d | ||
| 020 | |a 0824777468 |9 0-8247-7746-8 | ||
| 035 | |a (OCoLC)14692999 | ||
| 035 | |a (DE-599)BVBBV000612469 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-703 |a DE-739 |a DE-824 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA9.2 | |
| 082 | 0 | |a 511.3 |2 19 | |
| 084 | |a SD 1985 |0 (DE-625)142719: |2 rvk | ||
| 084 | |a SI 990 |0 (DE-625)143213: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 03-06 |2 msc | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a 68-06 |2 msc | ||
| 245 | 1 | 0 | |a Mathematical logic and theoretical computer science |c Edited by David W. Kueker, Edgar G. Lopez-Escobar, Carl H. Smith, University of Maryland, College Park, Maryland |
| 264 | 1 | |a New York, NY [u.a.] |b Marcel Dekker |c 1987 | |
| 300 | |a XVIII, 383 Seiten | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Pure and Applied Mathematics |v 106 | |
| 650 | 4 | |a Lógica simbólica y matemática | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Algebra | |
| 650 | 4 | |a Electronic data processing | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theorie |0 (DE-588)4059787-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 1 | 1 | |a Theorie |0 (DE-588)4059787-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Kueker, David W. |d 1943- |0 (DE-588)1053301219 |4 edt | |
| 710 | 2 | |a Special Year in Mathematics (16, 1984 - 1985, College Park, Md.) |e Sonstige |0 (DE-588)16133989-X |4 oth | |
| 830 | 0 | |a Lecture Notes in Pure and Applied Mathematics |v 106 |w (DE-604)BV005871364 |9 106 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000381261&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-000381261 | |
Datensatz im Suchindex
| _version_ | 1811034335509217280 |
|---|---|
| adam_text |
Contents
PREFACE i i i
CONTRIBUTORS ix
PARTICIPANTS IN THE SPECIAL YEAR xi
SCHEDULE OF TALKS OF THfc" SPECIAL YEAR xiii
TYPED i CALCULUS AND AÜTOfiATED MATHEMATICS 1
Peter B. Andrews
LAMBDA CALCULUS EXTENDED WITH SEGMENTS 15
Herman Balsters
WELL ORDERING AND INDUCTION IN INTUIT1ONISTIC LOGIC
AND TOPO1 29
Andreas Blass
SEPARATING RELATIVIZEÜ COMPLEXITY CLASSES 43
Ronald V. Book.
GENERALIZING AU TOMATH BY tiEANS OF A LAMBDA TYPED
LAMBDA CALCULUS 71
Nicolas G. de Bruiön
LOCAL CONCEPTS AND GERM REPRESENTABILITY 93
Marta Bunge and Eduardo J. Dubuc
MODEL THEORY OF PROFINITE ÜROUPS HAVING 1P, III 161
Zoe Chatzidakis
AN EXTENSION OF FREGE STRUCTURES 197
Robert Flagg and John flyhill
ORACLES: THREE NEW RESULTS 219
William Gasarch
KUEKER'S CONJECTURE FOR 0 MINIMAL THEORIES 253
David E. Marker and Laura Mayer
ON THE EMBEDDING ÜF MANIFOLDS INTO THE SMOOTH ZARISKi TOPOS 261
leKe MoerdijK
RINGS OF SMOOTH FUNCTIONS AND THE1R LOCALIZATIONS, II. 277
IeKe MoerdiöK, N. van Que, and Gonzalo E. Reyes
vii
viii Contents
INTERPOLATION AND CONCEPTUAL COfiPLETENESS FOR PRETOPOSES
VIA CATEGORY THEORY 301
Andrew Pitts
FINITE OE RINGS IN CHARACTERISTIC 4 329
D. Saracino and Carol Wood
CONPUTABLE FUNCTIONS IN CATEGORIES 349
Philip Scott
A NOTE ON THE COMPLEXITY OF SYNTHESIZING FINITE riACHINES 373
Richard Statman
INDEX 379 |
| any_adam_object | 1 |
| author2 | Kueker, David W. 1943- |
| author2_role | edt |
| author2_variant | d w k dw dwk |
| author_GND | (DE-588)1053301219 |
| author_facet | Kueker, David W. 1943- |
| building | Verbundindex |
| bvnumber | BV000612469 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.2 |
| callnumber-search | QA9.2 |
| callnumber-sort | QA 19.2 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SD 1985 SI 990 SK 130 |
| classification_tum | DAT 540f |
| ctrlnum | (OCoLC)14692999 (DE-599)BVBBV000612469 |
| 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 | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV000612469</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20201117</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870721s1987 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0824777468</subfield><subfield code="9">0-8247-7746-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)14692999</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000612469</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-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.2</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">SD 1985</subfield><subfield code="0">(DE-625)142719:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 990</subfield><subfield code="0">(DE-625)143213:</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">03-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical logic and theoretical computer science</subfield><subfield code="c">Edited by David W. Kueker, Edgar G. Lopez-Escobar, Carl H. Smith, University of Maryland, College Park, Maryland</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY [u.a.]</subfield><subfield code="b">Marcel Dekker</subfield><subfield code="c">1987</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 383 Seiten</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 Pure and Applied Mathematics</subfield><subfield code="v">106</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Lógica simbólica y matemática</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</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">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">Theorie</subfield><subfield code="0">(DE-588)4059787-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</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="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-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">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Theorie</subfield><subfield code="0">(DE-588)4059787-8</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Kueker, David W.</subfield><subfield code="d">1943-</subfield><subfield code="0">(DE-588)1053301219</subfield><subfield code="4">edt</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Special Year in Mathematics (16, 1984 - 1985, College Park, Md.)</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)16133989-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Pure and Applied Mathematics</subfield><subfield code="v">106</subfield><subfield code="w">(DE-604)BV005871364</subfield><subfield code="9">106</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000381261&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000381261</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV000612469 |
| illustrated | Not Illustrated |
| indexdate | 2024-09-24T00:15:31Z |
| institution | BVB |
| institution_GND | (DE-588)16133989-X |
| isbn | 0824777468 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000381261 |
| oclc_num | 14692999 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-703 DE-739 DE-824 DE-83 DE-11 DE-188 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-703 DE-739 DE-824 DE-83 DE-11 DE-188 |
| physical | XVIII, 383 Seiten |
| publishDate | 1987 |
| publishDateSearch | 1987 |
| publishDateSort | 1987 |
| publisher | Marcel Dekker |
| record_format | marc |
| series | Lecture Notes in Pure and Applied Mathematics |
| series2 | Lecture Notes in Pure and Applied Mathematics |
| spelling | Mathematical logic and theoretical computer science Edited by David W. Kueker, Edgar G. Lopez-Escobar, Carl H. Smith, University of Maryland, College Park, Maryland New York, NY [u.a.] Marcel Dekker 1987 XVIII, 383 Seiten txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Pure and Applied Mathematics 106 Lógica simbólica y matemática Datenverarbeitung Algebra Electronic data processing Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Theorie (DE-588)4059787-8 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Mathematische Logik (DE-588)4037951-6 s Informatik (DE-588)4026894-9 s DE-604 Datenverarbeitung (DE-588)4011152-0 s Theorie (DE-588)4059787-8 s Kueker, David W. 1943- (DE-588)1053301219 edt Special Year in Mathematics (16, 1984 - 1985, College Park, Md.) Sonstige (DE-588)16133989-X oth Lecture Notes in Pure and Applied Mathematics 106 (DE-604)BV005871364 106 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000381261&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Mathematical logic and theoretical computer science Lecture Notes in Pure and Applied Mathematics Lógica simbólica y matemática Datenverarbeitung Algebra Electronic data processing Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Theorie (DE-588)4059787-8 gnd Datenverarbeitung (DE-588)4011152-0 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4059787-8 (DE-588)4011152-0 (DE-588)4026894-9 (DE-588)4143413-4 |
| title | Mathematical logic and theoretical computer science |
| title_auth | Mathematical logic and theoretical computer science |
| title_exact_search | Mathematical logic and theoretical computer science |
| title_full | Mathematical logic and theoretical computer science Edited by David W. Kueker, Edgar G. Lopez-Escobar, Carl H. Smith, University of Maryland, College Park, Maryland |
| title_fullStr | Mathematical logic and theoretical computer science Edited by David W. Kueker, Edgar G. Lopez-Escobar, Carl H. Smith, University of Maryland, College Park, Maryland |
| title_full_unstemmed | Mathematical logic and theoretical computer science Edited by David W. Kueker, Edgar G. Lopez-Escobar, Carl H. Smith, University of Maryland, College Park, Maryland |
| title_short | Mathematical logic and theoretical computer science |
| title_sort | mathematical logic and theoretical computer science |
| topic | Lógica simbólica y matemática Datenverarbeitung Algebra Electronic data processing Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Theorie (DE-588)4059787-8 gnd Datenverarbeitung (DE-588)4011152-0 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Lógica simbólica y matemática Datenverarbeitung Algebra Electronic data processing Logic, Symbolic and mathematical Mathematische Logik Theorie Informatik Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000381261&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV005871364 |
| work_keys_str_mv | AT kuekerdavidw mathematicallogicandtheoreticalcomputerscience AT specialyearinmathematics1619841985collegeparkmd mathematicallogicandtheoreticalcomputerscience |