@BOOK{ Book!D - 95026400,
AUTHOR = "Mundici, Daniele",
TITLE = "Logic: a brief course",
LIBRARY= "کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان",
SUBJECT = "، Logic, Symbolic and mathematical,، Mathematics,، Computer science,، Semantics",
URL = "/book/95026400/Logic-a-brief-course/"}