eps.kntu.ac.ireps.kntu.ac.ir/.../olom/riaziat-karbordha-manegheriazi.pdfMathematical Logic I. H. B....
31
eps.kntu.ac.ireps.kntu.ac.ir/.../olom/riaziat-karbordha-manegheriazi.pdfMathematical Logic I. H. B. Ender-ton, A Mathematical Introduction to Logic, Second Edition, Harcourt/Academic