Proceedings of the Herbrand symposium - Stern J ed.; Logic Colloquium( 1981 : France ) (Amsterdam North-Holland, 1982)
Keywords: Mathematical logic