Cargando…
Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowl...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Oxford :
North-Holland,
1986.
|
| Colección: | Studies in logic and foundations of mathematics ;
v. 120. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn316566831 | ||
| 003 | OCoLC | ||
| 005 | 20231117015242.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 090320s1986 ne a ob 100 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d OPELS |d OCLCQ |d OCLCF |d OCLCE |d OCLCQ |d N$T |d DEBBG |d YDXCP |d EBLCP |d OCLCQ |d DEBSZ |d MERUC |d OCLCQ |d LEAUB |d OCLCQ |d S2H |d OCLCO |d COM |d OCLCO |d OCL |d OCLCQ |d OCLCO | ||
| 019 | |a 610554145 |a 655217473 |a 870950525 | ||
| 020 | |a 9780080960432 |q (electronic bk.) | ||
| 020 | |a 008096043X |q (electronic bk.) | ||
| 020 | |a 9780444879998 |q (electronic bk.) | ||
| 020 | |a 0444879994 |q (electronic bk.) | ||
| 035 | |a (OCoLC)316566831 |z (OCoLC)610554145 |z (OCoLC)655217473 |z (OCoLC)870950525 | ||
| 041 | 0 | |a eng |b fre | |
| 042 | |a dlr | ||
| 050 | 4 | |a BC135 |b .L63 1984eb | |
| 050 | 4 | |a QA9.A1 |b L63 1984eb | |
| 072 | 7 | |a MAT |x 000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 111 | 2 | |a Logic Colloquium '84 |d (1984 : |c Manchester) | |
| 245 | 1 | 0 | |a Logic Colloquium '84 : |b proceedings of the colloquium held in Manchester, U.K., July 1984 / |c editors J.B. Paris, A.J. Wilkie, G.M. Wilmers. |
| 260 | |a Amsterdam ; |a Oxford : |b North-Holland, |c 1986. | ||
| 300 | |a 1 online resource (x, 377 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 foundations of mathematics ; |v v. 120 | |
| 520 | |a This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting advances in these disciplines. | ||
| 504 | |a Includes bibliographical references. | ||
| 500 | |a Includes one chapter in French. | ||
| 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 | |
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 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 | 6 | |a Logique symbolique et math�ematique. |0 (CaQQLa)201-0001166 | |
| 650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast |0 (OCoLC)fst01002068 | |
| 653 | |a Mathematical logic | ||
| 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 | |
| 700 | 1 | |a Paris, J. B. |q (Jeff B.) | |
| 700 | 1 | |a Wilkie, A. J. |q (Alec J.) | |
| 700 | 1 | |a Wilmers, G. M. | |
| 776 | 0 | 8 | |i Print version: |a Logic Colloquium '84 (Manchester). |t Logic Colloquium '84. |d Amsterdam ; Oxford : North-Holland, 1986 |z 9780444879998 |w (DLC) 86004462 |w (OCoLC)16832601 |
| 830 | 0 | |a Studies in logic and foundations of mathematics ; |v v. 120. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444879998 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=120 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/120 |z Texto completo |