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..
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Bolyai Janos Mathematikai Tarsulat, Colloquium on Mathematical Logic in Computer Science, B. Domolki, và T. Gergely. Mathematical Logic in Computer Science. Amsterdam ; New York: North-Holland Pub. Co., 1981.
Trích dẫn kiểu MLA (xuất bản lần thứ 8)Bolyai Janos Mathematikai Tarsulat, et al. Mathematical Logic in Computer Science. North-Holland Pub. Co., 1981.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.