@BOOK{ Book!D - 103405389,
AUTHOR = "/ Sergei N. Artemov, Anil Nerode (eds.)",
TITLE = "Logical foundations of computer science",
LIBRARY= "كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران",
SUBJECT = "Computer science--Congresses,Logic, Symbolic and mathematical--Congresses,Programa?c?ao laogica (congressos)--larpcal,Ci?encia da computa?c?ao (congressos)--larpcal",
URL = "/book/103405389/Logical-foundations-of-computer-science/"}