Mikhail A. Taitslin (taitslin-ma)

Contributions to Philosophie.ch

Bibliography

Archangelsky, Dmitri A. and Taitslin, Mikhail A. 1997. “A Logic for Information Systems.” Studia Logica: An International Journal for Symbolic Logic 58/59: 3–16.
Nerode, Anil and Taitslin, Mikhail A., eds. 1992. Logical Foundations of Computer Science–Tver ’92. Berlin: Springer.