Jump to content

Logic of Computable Functions: Revision history

View logs for this page (view filter log)

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 04:5704:57, 30 August 2022 OlliverWithDoubleL talk contribs 1,305 bytes +97 short description, marked as stub undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 23:1223:12, 26 July 2022 2a02:1812:110c:dc00:e493:f5b5:50b7:a710 talk 1,208 bytes +51 No edit summary undo

curprev 03:4503:45, 5 July 2021 OAbot talk contribs m 1,157 bytes +21 Open access bot: doi added to citation with #oabot. undo

curprev 02:3202:32, 7 April 2021 Citation bot talk contribs 1,136 bytes +1 Add: issue. Removed parameters. | Use this bot. Report bugs. | Suggested by Abductive | via #UCB_webform 460/996 undo

curprev 20:1620:16, 29 August 2019 Bender the Bot talk contribs m 1,135 bytes +1 →top: HTTP → HTTPS for Carnegie Mellon CS, replaced: http://www.cs.cmu.edu/ → https://www.cs.cmu.edu/ undo Tag: AWB

curprev 14:5714:57, 4 November 2016 Klbrain talk contribs 1,134 bytes −61 Removing stale merge proposal from July 2013; no case made, no support over more than 3 years, case for merge is not obvious undo

curprev 14:3114:31, 30 September 2016 WillNess talk contribs 1,195 bytes −31 replace dead link by a working one undo

curprev 10:3210:32, 18 July 2013 AnomieBOT talk contribs m 1,226 bytes +15 Dating maintenance tags: {{Merge to}} undo
curprev 10:1210:12, 18 July 2013 Ruud Koot talk contribs 1,211 bytes +46 {{merge to|Programming Computable Functions}} undo

curprev 07:4307:43, 25 April 2012 Gaius Cornelius talk contribs m 1,165 bytes −1 Fix indefinite article, replaced: an memorandum → a memorandum using AWB undo

curprev 14:1914:19, 7 March 2012 BD2412 talk contribs 1,166 bytes −20 not a dab undo

curprev 22:0922:09, 15 August 2009 Rcog talk contribs 34 bytes +2 ←Redirected page to LCF (theorem prover) undo
curprev 22:0822:08, 15 August 2009 Rcog talk contribs 32 bytes +32 ←Redirected page to LCF theorem prover

Retrieved from "https://en.wikipedia.org/wiki/Logic_of_Computable_Functions"