Bolyai Janos Mathematikai Tarsulat, Colloquium on Mathematical Logic in Computer Science, Domolki, B., & Gergely, T. (1981). Mathematical logic in computer science. North-Holland Pub. Co..
Lua i Stíl Chicago (17ú heag.)Bolyai Janos Mathematikai Tarsulat, Colloquium on Mathematical Logic in Computer Science, B. Domolki, agus T. Gergely. Mathematical Logic in Computer Science. Amsterdam ; New York: North-Holland Pub. Co., 1981.
Lua MLA (8ú heag.)Bolyai Janos Mathematikai Tarsulat, et al. Mathematical Logic in Computer Science. North-Holland Pub. Co., 1981.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.