@BOOK{ Book!D - 103043342,
AUTHOR = "/ D. W. Barnes, J. M. Mack",
TITLE = "An algebraic introduction to mathematical logic",
LIBRARY= "کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان",
SUBJECT = "Logic, Symbolic and mathematical,Algebraic logic",
URL = "/book/103043342/An-algebraic-introduction-to-mathematical-logic/"}