Anatoli Degtyarev (degtyarev)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Degtyarev, Anatoli, Fisher, Michael E. and Lisitsa, Alexei. 2003. “Equality and Monadic First-Order Temporal Logic.” Studia Logica: An International Journal for Symbolic Logic 72(2): 147–156.
Degtyarev, Anatoli and Voronkov, Andrei. 2001. “Kanger’s Choices in Automated Reasoning.” in Collected Papers of Stig Kanger with Essays on His Life and Work, edited by Ghita Holmström-HIntikka, Sten Lindström, and Rysiek Sliwinski, pp. 53–68. Synthese Library n. 304. Dordrecht: Kluwer Academic Publishers.