Stern, J. (1949-)

Proceedings of the Herbrand symposium = Logic Colloquium '81 ... held in Marseilles, France, July 1981 / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Stern, J. (1949-); Herbrand, Jacques, (1908-1931.) (Language materials, printed)