Cargando…
Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /
Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume. The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York : New York, N.Y. :
North-Holland ; Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
1989.
|
| Colección: | Studies in logic and the foundations of mathematics ;
v. 129. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn316568621 | ||
| 003 | OCoLC | ||
| 005 | 20231117015252.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 090320s1989 ne ob 100 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d OPELS |d OCLCQ |d OCLCF |d DEBBG |d E7B |d IDEBK |d N$T |d OCLCE |d OCLCO |d YDXCP |d OCL |d OCLCO |d OCLCQ |d COO |d OCLCO |d OCLCQ |d OCLCO |d DEBSZ |d OCLCQ |d LEAUB |d ADU |d VLY |d LUN |d S2H |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 297411425 |a 646757177 |a 664552024 |a 666928795 |a 679453282 |a 1086507332 |a 1160064801 |a 1162044194 | ||
| 020 | |a 9780444880222 | ||
| 020 | |a 0444880224 | ||
| 020 | |a 9781435686991 |q (electronic bk.) | ||
| 020 | |a 1435686993 |q (electronic bk.) | ||
| 020 | |a 1281716499 | ||
| 020 | |a 9781281716491 | ||
| 020 | |a 1282711199 | ||
| 020 | |a 9781282711198 | ||
| 020 | |a 9786612711190 | ||
| 020 | |a 6612711191 | ||
| 020 | |a 9786611716493 | ||
| 020 | |a 6611716491 | ||
| 020 | |a 0080880061 | ||
| 020 | |a 9780080880068 | ||
| 020 | |a 0080880029 | ||
| 020 | |a 9780080880020 | ||
| 020 | |z 9780080880024 | ||
| 035 | |a (OCoLC)316568621 |z (OCoLC)297411425 |z (OCoLC)646757177 |z (OCoLC)664552024 |z (OCoLC)666928795 |z (OCoLC)679453282 |z (OCoLC)1086507332 |z (OCoLC)1160064801 |z (OCoLC)1162044194 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a QA9.A1 |b L63 1987eb | |
| 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 SD 1987 |2 rvk | ||
| 084 | |a MAT 030f |2 stub | ||
| 111 | 2 | |a Logic Colloquium |d (1987 : |c Granada, Spain) | |
| 245 | 1 | 0 | |a Logic Colloquium '87 : |b proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 / |c edited by H.-D. Ebbinghaus [and others]. |
| 260 | |a Amsterdam ; |a New York : |b North-Holland ; |a New York, N.Y. : |b Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., |c 1989. | ||
| 300 | |a 1 online resource (x, 375 pages) | ||
| 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. 129 | |
| 520 | |a Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume. The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages. | ||
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 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. An Introduction to Extenders and Core Models for Extender SequencesChapter 10. Logical Aspects of the Axiomatic Method: On Their Significance in (Traditional) Foundations and in Some (Now) Common or Garden Varieties of Mathematics; Chapter 11. On the Use of Diagonally Nonrecursive Functions; Chapter 12. Some Aspects of Impredicativity: Notes on Weyl's Philosophy of Mathematics and on Today's Type Theory; Chapter 13. General Logics; Chapter 14. Semantic Parallels in Natural Language and Computation | |
| 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 Logique symbolique et math�ematique |x Congr�es. |2 ram | |
| 650 | 0 | 7 | |a Kongre�. |2 swd |
| 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 Granada (1987) |2 swd | |
| 700 | 1 | |a Ebbinghaus, Heinz-Dieter, |d 1939- | |
| 776 | 0 | 8 | |i Print version: |a Logic Colloquium (1987 : Granada, Spain). |t Logic Colloquium '87. |d Amsterdam ; New York : North-Holland ; New York, N.Y. : Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989 |z 0444880224 |z 9780444880222 |w (OCoLC)20321658 |
| 830 | 0 | |a Studies in logic and the foundations of mathematics ; |v v. 129. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444880222 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=129 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/129 |z Texto completo |