Cargando…
Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. Important new developments in the applications of logic in computer science are presented. Othe...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York :
North-Holland,
�1988.
|
| Colección: | Studies in logic and the foundations of mathematics ;
v. 124. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn824359880 | ||
| 003 | OCoLC | ||
| 005 | 20231117044823.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 130115s1988 ne a ob 100 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCO |d OCLCE |d E7B |d OPELS |d OCLCF |d OCLCO |d YDXCP |d EBLCP |d UKDOC |d OCL |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d DEBSZ |d MERUC |d OCLCQ |d OCLCO |d OCLCQ |d OCLCA |d LEAUB |d OCLCQ |d VLY |d LUN |d S2H |d OCLCO |d OCLCQ |d OCLCO |d COM |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 610554149 |a 805933202 |a 828303097 |a 1086423706 |a 1162100440 | ||
| 020 | |a 9780444535832 |q (electronic bk.) | ||
| 020 | |a 0444535837 |q (electronic bk.) | ||
| 020 | |a 1283608294 | ||
| 020 | |a 9781283608299 | ||
| 020 | |a 9786613920744 | ||
| 020 | |a 6613920746 | ||
| 020 | |z 0444703268 | ||
| 020 | |z 9780444703262 | ||
| 035 | |a (OCoLC)824359880 |z (OCoLC)610554149 |z (OCoLC)805933202 |z (OCoLC)828303097 |z (OCoLC)1086423706 |z (OCoLC)1162100440 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a QA9.A1 |b L633 1986eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 084 | |a CC 2500 |2 rvk | ||
| 084 | |a SD 1986 |2 rvk | ||
| 111 | 2 | |a Logic Colloquium |d (1986 : |c Hull, Humberside) | |
| 245 | 1 | 0 | |a Logic Colloquium '86 : |b proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 / |c edited by F.R. Drake and J.K. Truss. |
| 260 | |a Amsterdam ; |a New York : |b North-Holland, |c �1988. | ||
| 300 | |a 1 online resource (ix, 342 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics ; |v v. 124 | |
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. Important new developments in the applications of logic in computer science are presented. Other areas examined include model theory, set theory, recursion theory, proof theory, and the history of logic. This volume contains the texts of ten of the invited lectures and six of the contributed papers. | ||
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 505 | 8 | |a Chapter 9 How to obtain Interpolation for L K + KChapter 10 The Craig Interpolation Lemma for Certain Modal Logics; Chapter 11 Model Theory and Representation Type of Algebras; Chapter 12 The Knuth-Bendix Completion Procedure, the Growth Function, and Polycyclic Groups; Chapter 13 Introduction to the Theory of Logic Programming; Chapter 14 A Complete Class of Restricted Logic Programs; Chapter 15 Oscillations of Real Numbers; Chapter 16 Doing without Determinacy-Aspects of Inner Models | |
| 546 | |a English. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 6 | |a Logique symbolique et math�ematique |0 (CaQQLa)201-0001166 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 7 | |a Kongress |2 gnd |0 (DE-588)4130470-6 | |
| 650 | 7 | |a Mathematische Logik |2 gnd |0 (DE-588)4037951-6 | |
| 650 | 7 | |a Logica matematica. |2 larpcal | |
| 650 | 7 | |a Logique symbolique et math�ematique |x Congr�es. |2 ram | |
| 655 | 2 | |a Congress |0 (DNLM)D016423 | |
| 655 | 7 | |a proceedings (reports) |2 aat |0 (CStmoGRI)aatgf300027316 | |
| 655 | 7 | |a Conference papers and proceedings |2 fast |0 (OCoLC)fst01423772 | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft | |
| 655 | 7 | |a Actes de congr�es. |2 rvmgf |0 (CaQQLa)RVMGF-000001049 | |
| 655 | 7 | |a Kingston-upon-Hull (1986) |2 swd | |
| 700 | 1 | |a Drake, F. R. |q (Frank Robert) | |
| 776 | 0 | 8 | |i Print version: |a Logic Colloquium (1986 : Hull, Humberside). |t Logic Colloquium '86. |d Amsterdam ; New York : North-Holland, �1988 |z 0444703268 |w (OCoLC)17351012 |
| 830 | 0 | |a Studies in logic and the foundations of mathematics ; |v v. 124. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444703262 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/124 |z Texto completo |