Logics for computability: Revision history

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:1804:18, 8 March 2023 Dabed talk contribs 3,542 bytes −1 Moved "See also" section before "References" and "External links" as usual undo Tag: Visual edit

curprev 11:1411:14, 17 March 2020 InternetArchiveBot talk contribs 3,133 bytes +129 Rescuing 3 sources and tagging 0 as dead.) #IABot (v2.0 undo

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

curprev 15:0315:03, 22 October 2014 NukeofEarl talk contribs 3,004 bytes −48 It appears that no such proposal was ever made. undo

curprev 09:2709:27, 15 October 2010 Greenrd talk contribs m 2,979 bytes +4 I want to read an article about this term undo

curprev 15:2115:21, 17 March 2006 Bluebot talk contribs 2,969 bytes −2 bold formatting title using AWB undo

curprev 21:0021:00, 13 September 2005 Johndc talk contribs 2,971 bytes −8 No edit summary undo
curprev 20:5720:57, 13 September 2005 Johndc talk contribs 2,979 bytes +2,979 This article emerged as a result of splitting the article "Computability logic". Frege did a good job adding new contents to that article.That change calls for a more general and neutral title.