@BOOK{ Book!D - 93055397,
AUTHOR = "/ Wolfgang Rautenberg",
TITLE = "A concise introduction to mathematical logic",
LIBRARY= "کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره",
SUBJECT = "Logic, Symbolic and mathematical",
URL = "/book/93055397/A-concise-introduction-to-mathematical-logic/"}