%0 Journal Article %T On the Development of Applications of Logic in Programming %A Wu %A Yunzeng %J 计算机科学技术学报 %D 1987 %I %X 1.Preliminary RemarksBy Logic we mean the discipline which includes proof theory,model theory,recur-sion thoery and axiomatic set theory.In recent years there is a growing recognition of therelevance of logic to computer programming.The close relationship between these twofields seems to be aptly capsuled in the formula proposed by Patrick Hayes among others %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=53EDC11D2C1AC119908F0C51174E0EE6&yid=9C2DB0A0D5ABE6F8&vid=0B39A22176CE99FB&iid=CA4FD0336C81A37A&sid=340AC2BF8E7AB4FD&eid=339D79302DF62549&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=0