8211 - Logic programming and its applications |
8212 - Logic symposia Hakone 1979, 1980 : proceedings of conferences Held in Hakone, Japan March 21-24, 1979 and February 4-7,1980 |
8213 - Logic Year 1979-80 : the University of Connecticut, USA |
8214 - Logic, foundations of mathematics and computability theory : Part one of the proceedings of the fifth international congress of logic, methodology and philosophy of science, London, Ontario, Canada, 1975 |
8215 - Logic, methodology and philosophy of science : proceedings of the 1960 international congress |
8218 - Logic, methodology and philosophy of science. IV : proceedings of the fourth International congress for logic, methodology and philosophy of science, Bucharest, 1971 |
8219 - Logic, methodology and philosophy of science. VI : Proceedings of the sixth international congress of logic, methodology and philosophy of science, Hannover, August 22-29, 1979 |
8220 - Logic, semantics, metamathematics, papers from 1923 to 1938 |






