Anfonwch hwn fel neges destun: Mathematical logic and theoretical computer science / edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith.