Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
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. As well as selected papers, the two panel discussions are also included, on ``Trends in Logic...
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.U.S.A. :
North-Holland ; Distributed by Elsevier Science Pub. Co.,
1989.
|
Colección: | Studies in logic and the foundations of mathematics ;
v. 127. |
Temas: | |
Acceso en línea: | Texto completo Texto completo Texto completo |
MARC
LEADER | 00000cam a2200000 a 4500 | ||
---|---|---|---|
001 | SCIDIR_ocn316566832 | ||
003 | OCoLC | ||
005 | 20231117015242.0 | ||
006 | m o d | ||
007 | cr cn||||||||| | ||
008 | 090320s1989 ne a ob 100 0 eng d | ||
040 | |a OPELS |b eng |e pn |c OPELS |d OPELS |d OCLCQ |d OCLCF |d DEBBG |d OCLCO |d N$T |d IDEBK |d E7B |d UA@ |d YDXCP |d OCLCO |d OCLCQ |d OCL |d OCLCO |d COO |d OCLCO |d OCLCQ |d OCLCO |d DEBSZ |d LEAUB |d S2H |d OCLCO |d OCLCQ |d OCLCO | ||
019 | |a 305484582 |a 646774801 | ||
020 | |a 9780444874559 | ||
020 | |a 0444874550 | ||
020 | |a 9780080887678 |q (electronic bk.) | ||
020 | |a 0080887678 |q (electronic bk.) | ||
035 | |a (OCoLC)316566832 |z (OCoLC)305484582 |z (OCoLC)646774801 | ||
050 | 4 | |a QA9.A1 |b L63 1988eb | |
072 | 7 | |a MAT |x 016000 |2 bisacsh | |
072 | 7 | |a MAT |x 018000 |2 bisacsh | |
082 | 0 | 4 | |a 511.3 |2 22 |
111 | 2 | |a Logic Colloquium |d (1988 : |c Padova, Italy) | |
245 | 1 | 0 | |a Logic Colloquium '88 : |b proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 / |c edited by R. Ferro [and others]. |
260 | |a Amsterdam ; |a New York : |b North-Holland ; |a New York, N.Y.U.S.A. : |b Distributed by Elsevier Science Pub. Co., |c 1989. | ||
300 | |a 1 online resource (viii, 403 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. 127 | |
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. As well as selected papers, the two panel discussions are also included, on ``Trends in Logic'' and ``The Teaching of Logic''. | ||
504 | |a Includes bibliographical references. | ||
588 | 0 | |a Print version record. | |
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 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 | |
700 | 1 | |a Ferro, R. |q (Ruggero) | |
776 | 0 | 8 | |i Print version: |a Logic Colloquium (1988 : Padova, Italy). |t Logic Colloquium '88. |d Amsterdam ; New York : North-Holland ; New York, N.Y.U.S.A. : Distributed by Elsevier Science Pub. Co., 1989 |z 0444874550 |z 9780444874559 |w (OCoLC)20321666 |
830 | 0 | |a Studies in logic and the foundations of mathematics ; |v v. 127. | |
856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444874559 |z Texto completo |
856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=127 |z Texto completo |
856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/127 |z Texto completo |