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

Bibliographic Details
Uniform Title:Logic Colloquium '81
Studies in logic and the foundations of mathematics ; v. 107.
Corporate Author: Logic Colloquium Marseille, France
Other Authors: Stern, Jacques, 1949-
Herbrand, Jacques, 1908-1931
Language:English
Published: 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.
Series:Studies in logic and the foundations of mathematics ; v. 107.
Subjects:
Genre:
Physical Description:xi, 384 pages : illustrations ; 23 cm.
Format: Conference Proceeding Book

MARC

LEADER 00000pam a2200000 a 4500
001 in00000794482
003 OCoLC
005 20220616125135.0
008 820409s1982 ne a b 100 0 eng
010 |a  82006433  
020 |a 0444864172 (U.S.) 
035 |a (OCoLC)8388806 
039 0 |a 2  |b 3  |c 3  |d 3  |e 3 
040 |a DLC  |c DLC  |d EEM  |d UtOrBLW 
049 |a EEMO [c.1] 
050 0 0 |a QA9.A1  |b L63 1981 
082 0 |a 511.3  |2 19 
090 |a QA9.A1 L63 1981 
111 2 |a Logic Colloquium  |d (1981 :  |c Marseille, France)  |0 http://id.loc.gov/authorities/names/n79106259 
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 xi, 384 pages :  |b illustrations ;  |c 23 cm. 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a Studies in logic and the foundations of mathematics ;  |v v. 107 
504 |a Includes bibliographies. 
650 0 |a Logic, Symbolic and mathematical  |v Congresses.  |0 http://id.loc.gov/authorities/subjects/sh2008107112 
700 1 |a Stern, Jacques,  |d 1949-  |0 http://id.loc.gov/authorities/names/n98044038 
700 1 |a Herbrand, Jacques,  |d 1908-1931.  |0 http://id.loc.gov/authorities/names/n82054836 
830 0 |a Studies in logic and the foundations of mathematics ;  |v v. 107.  |0 http://id.loc.gov/authorities/names/n42707789 
907 |y .b17531706  |b 211128  |c 980609 
998 |a rs  |b 980604  |c m  |d a   |e -  |f eng  |g ne   |h 0  |i 3 
935 |a ADH2465 
999 f f |i e85aec91-7451-55ce-92c1-97bcfb7488e1  |s d01ea8d1-3ac3-5da2-85b0-2d84ae89bf5c  |t 0 
952 f f |p Can Circulate  |a Michigan State University-Library of Michigan  |b Michigan State University  |c MSU Remote Storage  |d MSU Remote Storage  |t 0  |e QA9.A1 L63 1981  |h Library of Congress classification  |i Printed Material  |m 31293001544331  |n 1