Gaya APA

Nerode, A., Matiyasrvich, Y, V. (1994). Logical foundations of computer science : lecture notes in computer science 813 / A. Nerode.' Yu. V. Matiyasevich . New York: Springer- Verlag.

Gaya MLA

Nerode, A., Matiyasrvich, Yu., V. "Logical foundations of computer science : lecture notes in computer science 813 / A. Nerode.' Yu. V. Matiyasevich". New York: Springer- Verlag, 1994. .