@BOOK{ Book!D - 104738841,
AUTHOR = "S. Homer...]et al.[; editor, P. Odifreddi",
TITLE = "Logic and computer science: lectures given at the 1st session of the centro internazioale matematico Estive )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988",
LIBRARY= "کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان",
SUBJECT = "Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity",
URL = "/book/104738841/Logic-and-computer-science-lectures-given-at-the/"}