Revision as of 20:16, 29 August 2019 edit Bender the Bot (talk \| contribs) Bots 1,064,377 edits m →top: HTTP → HTTPS for Carnegie Mellon CS, replaced: http://www.cs.cmu.edu/ → https://www.cs.cmu.edu/ Tag: AWB ← Previous edit		Revision as of 02:32, 7 April 2021 edit undo Citation bot (talk \| contribs) Bots 5,867,392 edits Add: issue. Removed parameters. \| Use this bot. Report bugs. \| Suggested by Abductive \| via #UCB_webform 460/996 Next edit →
Line 12: \| pages = 223–255 \| volume = 5 \| issue = 3 \| doi = 10.1016/0304-3975(77)90044-5 \| url = http://homepages.inf.ed.ac.uk/gdp/publications/LCF.pdf ~~\| ref = harv~~}}</ref> == References ==

Logic of Computable Functions: Difference between revisions