Logic of Computable Functions: Difference between revisions

Content deleted Content added
Citation bot (talk | contribs)
Add: issue. Removed parameters. | Use this bot. Report bugs. | Suggested by Abductive | via #UCB_webform 460/996
OAbot (talk | contribs)
m Open access bot: doi added to citation with #oabot.
Line 15:
| doi = 10.1016/0304-3975(77)90044-5
| url = http://homepages.inf.ed.ac.uk/gdp/publications/LCF.pdf
| doi-access = free
}}</ref>