Proceedings of the herbrand symposium : logic colloquium `81 - Stern, J .; Proceeding of the herbrand symposium Marseilles ) 1981,Jul. (Amsterdam : North-Holland Publishing, 1982)
NULL
Keywords: LOGIC,SYMBOLIC AND MATHEMATICAL