Computational Logic : Essays in Honor of Alan Robinson - Lassez, Jean-Louis; Plotkin, G. (Gordon), 1946- (Cambridge : Massachusetts Institute of Technology, 1991)
Bibliogr. na konci kap.
Keywords: logika; výpočetní technika; logic -- theory; computer science; monografie; monographs