Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Logic Colloquium Marseille, France
Otros Autores: Stern, Jacques, 1949-, Herbrand, Jacques, 1908-1931
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : New York, N.Y. : North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982.
Colección:Studies in logic and the foundations of mathematics ; v. 107.
Temas:
Logic, Symbolic and mathematical > Congresses.
Logique symbolique et math�ematique > Congr�es.
Logic, Symbolic and mathematical
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congr�es.
Acceso en línea:Texto completo
Texto completo
Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 SCIDIR_ocn316566824
003 OCoLC
005 20231117015242.0
006 m o d
007 cr cn|||||||||
008 090320s1982 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 OCLCQ  |d OCL  |d OCLCO  |d OCLCQ  |d DEBSZ  |d LEAUB  |d S2H  |d OCLCO  |d INARC  |d OCLCO  |d OCLCQ  |d OCLCO 
020 |a 9780444864178 
020 |a 0444864172 
035 |a (OCoLC)316566824 
050 4 |a QA9.A1  |b L63 1981eb 
082 0 4 |a 511.3  |2 22 
111 2 |a Logic Colloquium  |d (1981 :  |c Marseille, France) 
240 1 0 |a Logic Colloquium '81 
245 1 0 |a Proceedings of the Herbrand symposium :  |b Logic Colloquium '81 ... held in Marseilles, France, July 1981 /  |c edited by J. Stern. 
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 (xi, 384 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. 107 
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 Logic, Symbolic and mathematical  |2 fast  |0 (OCoLC)fst01002068 
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 Stern, Jacques,  |d 1949- 
700 1 |a Herbrand, Jacques,  |d 1908-1931. 
776 0 8 |i Print version:  |a Logic Colloquium (1981 : Marseille, France).  |s Logic Colloquium '81.  |t Proceedings of the Herbrand symposium.  |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 0444864172  |z 9780444864178  |w (DLC) 82006433  |w (OCoLC)8388806 
830 0 |a Studies in logic and the foundations of mathematics ;  |v v. 107. 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/book/9780444864178  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=107  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/107  |z Texto completo 

Ejemplares similares