Gaya APA

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

Gaya Chicago

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. .

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. .

Gaya Turabian

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. .