Cargando…

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&#...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Logic Colloquium Padova, Italy
Otros Autores: Ferro, R. (Ruggero)
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