MARC

LEADER 00000cam a2200000 a 4500
001 SCIDIR_ocn428093402
003 OCoLC
005 20231117032809.0
006 m o d
007 cr cn|||||||||
008 090728s1982 ne ob 100 0 eng d
040 |a OPELS  |b eng  |e pn  |c OPELS  |d OCLCQ  |d OCLCO  |d OPELS  |d E7B  |d OCLCE  |d N$T  |d OCLCF  |d OCLCQ  |d DEBSZ  |d OCLCQ  |d LEAUB  |d S2H  |d OCLCO  |d COM  |d OCLCO  |d OCL  |d OCLCQ 
019 |a 707443164  |a 859537461  |a 1086529326 
020 |a 9780444864659 
020 |a 0444864652 
020 |a 9780080960340  |q (electronic bk.) 
020 |a 0080960340  |q (electronic bk.) 
035 |a (OCoLC)428093402  |z (OCoLC)707443164  |z (OCoLC)859537461  |z (OCoLC)1086529326 
042 |a dlr 
050 4 |a BC135  |b .L57 1980 
050 4 |a QA9.A1  |b L63 1980 
072 7 |a PHI  |x 011000  |2 bisacsh 
082 0 4 |a 160  |2 22 
111 2 |a Logic Colloquium  |d (1980 :  |c Prague, Czech Republic) 
245 1 0 |a Logic Colloquium '80 :  |b papers intended for the European summer meeting of the Association for Symbolic Logic /  |c edited by D. van Dalen, D. Lascar, T.J. Smiley. 
260 |a Amsterdam ;  |a New York :  |b North-Holland Pub. Co. ;  |a New York, N.Y. :  |b Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,  |c 1982. 
300 |a 1 online resource (x, 342 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. 108 
500 |a Papers prepared for a conference which was planned for Aug. 24-30, 1980 in Prague, but which was never held. 
504 |a Includes bibliographical references. 
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 2011.  |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 2011  |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 PHILOSOPHY  |x Logic.  |2 bisacsh 
650 7 |a Logic, Symbolic and mathematical.  |2 fast  |0 (OCoLC)fst01002068 
650 7 |a Logica matematica.  |2 larpcal 
650 7 |a Logique symbolique et math�ematique  |x Congr�es.  |2 ram 
653 |a Mathematical logic 
655 2 |a Congress  |0 (DNLM)D016423 
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 Dalen, D. van  |q (Dirk),  |d 1932- 
700 1 |a Lascar, D.  |q (Daniel),  |d 1942- 
700 1 |a Smiley, T. J.  |q (Timothy John) 
710 2 |a Association for Symbolic Logic. 
776 0 8 |i Print version:  |a Logic Colloquium (1980 : Prague, Czech Republic).  |t Logic Colloquium '80.  |d Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982  |z 0444864652  |z 9780444864659  |w (DLC) 82012611  |w (OCoLC)8668798 
830 0 |a Studies in logic and the foundations of mathematics ;  |v v. 108. 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/book/9780444864659  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/108  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=108  |z Texto completo