Books by Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse 1977. on BookTides.