Logic Colloquium ...: 86 Proceedings of the colloquium held in Hull, U.K., July 13 - 19, 1986
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | Undetermined |
| Veröffentlicht: |
Amsterdam u.a.
North-Holland
1988
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
124 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IX, 342 S. Ill., graph. Darst. |
| ISBN: | 0444703268 |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV009389047 | ||
| 003 | DE-604 | ||
| 005 | 19960419 | ||
| 007 | t | ||
| 008 | 940401s1988 ad|| |||| 10||| und d | ||
| 020 | |a 0444703268 |9 0-444-70326-8 | ||
| 035 | |a (OCoLC)634432345 | ||
| 035 | |a (DE-599)BVBBV009389047 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | |a und | ||
| 049 | |a DE-29T | ||
| 111 | 2 | |a Logic Colloquium |d 1986 |c Kingston-upon-Hull |j Verfasser |0 (DE-588)805874-X |4 aut | |
| 245 | 1 | 0 | |a Logic Colloquium ... |n 86 |p Proceedings of the colloquium held in Hull, U.K., July 13 - 19, 1986 |c ed. by F. R. Drake ... |
| 264 | 1 | |a Amsterdam u.a. |b North-Holland |c 1988 | |
| 300 | |a IX, 342 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics |v 124 | |
| 490 | 0 | |a Studies in logic and the foundations of mathematics |v ... | |
| 490 | 0 | |a Lecture notes in logic |v ... | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Gandy, Robin O. |d 1919-1995 |e Sonstige |0 (DE-588)123876494 |4 oth | |
| 700 | 1 | |a Rose, Harvey E. |e Sonstige |4 oth | |
| 700 | 1 | |a Macintyre, Angus |e Sonstige |0 (DE-588)113746377 |4 oth | |
| 711 | 2 | |a Logic Colloquium |j Verfasser |0 (DE-588)1054884-1 |4 aut | |
| 773 | 0 | 8 | |w (DE-604)BV009389041 |g 86 |
| 830 | 0 | |a Studies in logic and the foundations of mathematics |v 124 |w (DE-604)BV000893472 |9 124 | |
| 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=006229370&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006229370 | ||
Datensatz im Suchindex
| _version_ | 1804123791724380160 |
|---|---|
| adam_text | ix
CONTENTS
Preface vii
Parameter Free Induction, the Matiyasevic Theorem and Be,
Z. Adamowicz 1
A Laver Type Indestructability for Accessible Cardinals
S. Ben David 9
A Complete Inference System for Regular Processes with Silent Moves
J.A. Bergstra and J.W. Klop 21
Cumulative Logic Programs and Modelling
E. Engeler 83
What is Negation in a System?
D.M. Gabbay 95
Teaching Logic by Computer : a Hacker s Guide
P. Gibbins 113
¦
On the Role of 0 in Recursion Theory
A. KuCera ~ 133
The Origins of Forcing
G.H. Moore 143
How to obtain Interpolation for L +
J. Oikkonen 175
The Craig Interpolation Lemma for Certain Modal Logics
J. Plaza 209
Model Theory and Representation Type of Algebras
M. Prest 219
The Knuth Bendix Completion Procedure, the Growth Function,
and Polycyclic Groups
M.M. Richter 261
Introduction to the Theory of Logic Programming
J.C. Shepherdson 277
A Complete Class of Restricted Logic Programs
0. St^pankova and P. Ste pa nek 319
Oscillations of Real Numbers
S. Todorcevic 325
Doing without Determinacy Aspects of Inner Models
P.D. Welch 333
|
| any_adam_object | 1 |
| author_GND | (DE-588)123876494 (DE-588)113746377 |
| author_corporate | Logic Colloquium Kingston-upon-Hull Logic Colloquium |
| author_corporate_role | aut aut |
| author_facet | Logic Colloquium Kingston-upon-Hull Logic Colloquium |
| author_sort | Logic Colloquium Kingston-upon-Hull |
| building | Verbundindex |
| bvnumber | BV009389047 |
| ctrlnum | (OCoLC)634432345 (DE-599)BVBBV009389047 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01729nam a2200385 cc4500</leader><controlfield tag="001">BV009389047</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960419 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940401s1988 ad|| |||| 10||| und d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444703268</subfield><subfield code="9">0-444-70326-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634432345</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009389047</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=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Logic Colloquium</subfield><subfield code="d">1986</subfield><subfield code="c">Kingston-upon-Hull</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)805874-X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Colloquium ...</subfield><subfield code="n">86</subfield><subfield code="p">Proceedings of the colloquium held in Hull, U.K., July 13 - 19, 1986</subfield><subfield code="c">ed. by F. R. Drake ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam u.a.</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 342 S.</subfield><subfield code="b">Ill., graph. Darst.</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">Studies in logic and the foundations of mathematics</subfield><subfield code="v">124</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">...</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Lecture notes in logic</subfield><subfield code="v">...</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gandy, Robin O.</subfield><subfield code="d">1919-1995</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)123876494</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rose, Harvey E.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Macintyre, Angus</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)113746377</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Logic Colloquium</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1054884-1</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV009389041</subfield><subfield code="g">86</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">124</subfield><subfield code="w">(DE-604)BV000893472</subfield><subfield code="9">124</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=006229370&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006229370</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV009389047 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:35:23Z |
| institution | BVB |
| institution_GND | (DE-588)805874-X (DE-588)1054884-1 |
| isbn | 0444703268 |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006229370 |
| oclc_num | 634432345 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | IX, 342 S. Ill., graph. Darst. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | North-Holland |
| record_format | marc |
| series | Studies in logic and the foundations of mathematics |
| series2 | Studies in logic and the foundations of mathematics Lecture notes in logic |
| spelling | Logic Colloquium 1986 Kingston-upon-Hull Verfasser (DE-588)805874-X aut Logic Colloquium ... 86 Proceedings of the colloquium held in Hull, U.K., July 13 - 19, 1986 ed. by F. R. Drake ... Amsterdam u.a. North-Holland 1988 IX, 342 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics 124 Studies in logic and the foundations of mathematics ... Lecture notes in logic ... (DE-588)1071861417 Konferenzschrift gnd-content Gandy, Robin O. 1919-1995 Sonstige (DE-588)123876494 oth Rose, Harvey E. Sonstige oth Macintyre, Angus Sonstige (DE-588)113746377 oth Logic Colloquium Verfasser (DE-588)1054884-1 aut (DE-604)BV009389041 86 Studies in logic and the foundations of mathematics 124 (DE-604)BV000893472 124 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006229370&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic Colloquium ... Studies in logic and the foundations of mathematics |
| subject_GND | (DE-588)1071861417 |
| title | Logic Colloquium ... |
| title_auth | Logic Colloquium ... |
| title_exact_search | Logic Colloquium ... |
| title_full | Logic Colloquium ... 86 Proceedings of the colloquium held in Hull, U.K., July 13 - 19, 1986 ed. by F. R. Drake ... |
| title_fullStr | Logic Colloquium ... 86 Proceedings of the colloquium held in Hull, U.K., July 13 - 19, 1986 ed. by F. R. Drake ... |
| title_full_unstemmed | Logic Colloquium ... 86 Proceedings of the colloquium held in Hull, U.K., July 13 - 19, 1986 ed. by F. R. Drake ... |
| title_short | Logic Colloquium ... |
| title_sort | logic colloquium proceedings of the colloquium held in hull u k july 13 19 1986 |
| topic_facet | Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006229370&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV009389041 (DE-604)BV000893472 |
| work_keys_str_mv | AT logiccolloquiumkingstonuponhull logiccolloquium86 AT gandyrobino logiccolloquium86 AT roseharveye logiccolloquium86 AT macintyreangus logiccolloquium86 AT logiccolloquium logiccolloquium86 |