Feferman, Solomon (ed.); Sieg, Wilfried (ed.); Kreinovich, Vladik (ed.); Lifschitz, Vladimir (ed.); de Queiroz, Ruy (ed.) Proofs, categories and computations. Essays in honor of Grigori Mints. With the collaboration of Vladik Kreinovich, Vladimir Lifschitz, and Ruy de Queiroz. (English) Zbl 1203.03007 Tributes 13. London: College Publications (ISBN 978-1-84890-012-7/pbk). x, 310 p. (2010). MSC: 03-06 00B30 PDFBibTeX XMLCite \textit{S. Feferman} (ed.) et al., Proofs, categories and computations. Essays in honor of Grigori Mints. With the collaboration of Vladik Kreinovich, Vladimir Lifschitz, and Ruy de Queiroz. London: College Publications (2010; Zbl 1203.03007)
Baral, Chitta (ed.); Kreinovich, V. (ed.); Lifschitz, V. (ed.) Logic programming, nonmonotonic reasoning and reasoning about actions. Festschrift in honor of Michael Gelfond. (English) Zbl 0885.00065 Ann. Math. Artif. Intell. 21, No. 2-4, 129-424 (1997). MSC: 00B30 68-06 00B15 PDFBibTeX XML