LFCS (Symposium) Yaroslavl, Russia), Adian, S. I., & Nerode, A. (1997). Logic foundations of computer science. Springer.
Chicago Style (17th ed.) CitationLFCS (Symposium) Yaroslavl, Russia), Segei Ivanovich Adian, and Anil Nerode. Logic Foundations of Computer Science. Berlin: Springer, 1997.
MLA (9th ed.) CitationLFCS (Symposium) Yaroslavl, Russia), et al. Logic Foundations of Computer Science. Springer, 1997.