01234nam a2200325 i 450099100109478970753620020507183148.0930909s1982 ne ||| | eng 0444864172b10800153-39ule_instLE01306931ExLDip.to Matematicaeng511.3AMS 03-06AMS 03-XXHerbrand, Jacques47662Logic colloquium, '81 :proceedings of the Herbrand Symposium held in Marseilles, France, July 1981 /edited by J. SternAmsterdam ; New York ; Oxford :North-Holland,1982xi, 384 p. ;23 cm.Studies in logic and the foundations of mathematics, ISSN 0049237X ;107Conference/meeting Marseille 1981Mathematical logicCongressesSymbolic logicCongressesStern, Jacques.b1080015323-02-1728-06-02991001094789707536LE013 03-XX STE21 (1982)12013000042350le013-E0.00-l- 00000.i1090399928-06-02Logic colloquium, '81925493UNISALENTOle01301-01-93ma -engne 01