00787nam0-22002531i-450-990001203430403321000120343FED01000120343(Aleph)000120343FED0100012034320000920d1982----km-y0itay50------baengLogic Colloquium '81Proceedings of the Herbrand Symposium held in Marseille France, July 16-24, 1981by STERN J.Amsterdam [etc.]North-Holland1982Studies in logic and the foundations of mathematics107Stern,J.344611ITUNINARICAUNIMARCBK990001203430403321C-30-(10720901MA1MA1Logic Colloquium '81343560UNINAING01