Language, Proof and Logic: 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 17:0917:09, 23 November 2022 CodeTalker talk contribs 2,303 bytes −64 Reverted 1 edit by 37.4.227.251 (talk): Spam undo Tags: Twinkle Undo
curprev 08:2908:29, 23 November 2022 37.4.227.251 talk 2,367 bytes +64 No edit summary undo Tag: Reverted

curprev 01:1801:18, 24 October 2022 CodeTalker talk contribs 2,303 bytes −227 Reverted 4 edits by 167.88.84.191 (talk): Nonconstructive undo Tags: Twinkle Undo

curprev 19:4019:40, 6 August 2022 167.88.84.191 talk 2,530 bytes +79 →References undo Tag: Reverted
curprev 19:3919:39, 6 August 2022 167.88.84.191 talk 2,451 bytes +24 →References undo Tag: Reverted
curprev 19:3819:38, 6 August 2022 167.88.84.191 talk 2,427 bytes +78 →References undo Tag: Reverted
curprev 19:3719:37, 6 August 2022 167.88.84.191 talk 2,349 bytes +46 →References undo Tag: Reverted

curprev 10:0310:03, 10 February 2022 Bruce1ee talk contribs m 2,303 bytes +7 fixed lint errors – links in links undo

curprev 17:4017:40, 17 December 2020 Tbitai talk contribs m 2,296 bytes −20 Update MOOC URL undo

curprev 13:1713:17, 14 December 2020 Monkbot talk contribs m 2,316 bytes −18 Task 18 (cosmetic): eval 1 template: del empty params (2×); undo Tag: AWB

curprev 10:0810:08, 10 February 2020 195.194.57.233 talk 2,334 bytes −15 Fix home page link undo

curprev 07:4107:41, 10 May 2019 94.65.216.254 talk 2,349 bytes +17 No edit summary undo

curprev 19:1219:12, 11 November 2018 DenBkh talk contribs 2,332 bytes +11 working page with available enrolling undo Tag: 2017 wikitext editor

curprev 20:4620:46, 17 August 2017 171.67.193.101 talk 2,321 bytes +11 No edit summary undo

curprev 18:2918:29, 14 August 2017 Quinton Feldberg talk contribs m 2,310 bytes +18 fix citations undo

curprev 13:0913:09, 5 April 2017 Timor dei talk contribs 2,292 bytes +1 No edit summary undo
curprev 13:0813:08, 5 April 2017 Timor dei talk contribs 2,291 bytes +6 No edit summary undo

curprev 19:2919:29, 8 January 2017 BjörnF talk contribs 2,285 bytes +14 Change in categorization undo

curprev 20:5520:55, 13 September 2016 GreenC bot talk contribs m 2,271 bytes +1 WaybackMedic 2 undo

curprev 19:5819:58, 3 September 2015 Dexbot talk contribs m 2,270 bytes +203 Bot: Deprecating Template:Cite doi and some minor fixes undo

curprev 14:4014:40, 7 January 2015 Yobot talk contribs m 2,067 bytes +13 Tagging using AWB (10703) undo

curprev 02:0802:08, 26 September 2014 BeeJay~enwiki talk contribs m 2,054 bytes +28 internal Fitch-style calculus link added undo
curprev 00:2100:21, 26 September 2014 BeeJay~enwiki talk contribs m 2,026 bytes +56 →External links: broken link exchanged to the one of Internet Archive undo

curprev 23:5623:56, 25 September 2014 BeeJay~enwiki talk contribs m 1,970 bytes +144 MOOC description added undo
curprev 23:3723:37, 25 September 2014 BeeJay~enwiki talk contribs m 1,826 bytes +127 →External links: MOOC added undo

curprev 19:3919:39, 28 April 2014 ClueBot NG talk contribs m 1,699 bytes −470 Reverting possible vandalism by 75.182.44.19 to version by BeeJay. False positive? Report it. Thanks, ClueBot NG. (1811060) (Bot) undo
curprev 19:3919:39, 28 April 2014 75.182.44.19 talk 2,169 bytes +470 No edit summary undo

curprev 21:1621:16, 9 October 2013 BeeJay~enwiki talk contribs m 1,699 bytes +116 →External links: 1st edition of Language, Proof and Logic as PDF undo

curprev 02:5202:52, 5 October 2013 BeeJay~enwiki talk contribs m 1,583 bytes +4 Text "Tarski's World" converted into Internal link undo

curprev 23:4823:48, 7 May 2013 Squids and Chips talk contribs m 1,579 bytes −5 WPCleaner v1.27 - Repaired 1 link to disambiguation page - (You can help) - Tautology undo

curprev 12:2712:27, 13 November 2012 Stefanomione talk contribs 1,584 bytes −2 Refine category undo

curprev 02:4302:43, 20 August 2012 GoingBatty talk contribs 1,586 bytes +23 Help needed: Tautology undo

curprev 02:0702:07, 20 July 2012 Yodamgod talk contribs 1,563 bytes −13 Wikifying undo

curprev 02:0002:00, 7 December 2011 AvicBot talk contribs m 1,576 bytes −3 Bot: Grouping Multiple Issues together (Report error) undo

curprev 22:3322:33, 17 October 2011 76.126.34.229 talk 1,579 bytes −32 No edit summary undo
curprev 22:3022:30, 17 October 2011 76.126.34.229 talk 1,611 bytes −1 No edit summary undo
curprev 22:3022:30, 17 October 2011 76.126.34.229 talk 1,612 bytes +41 No edit summary undo
curprev 22:2922:29, 17 October 2011 76.126.34.229 talk 1,571 bytes +31 No edit summary undo

curprev 15:3115:31, 18 August 2011 Gregbard talk contribs 1,540 bytes +38 added Category:Philosophy-related media using HotCat undo
curprev 15:3015:30, 18 August 2011 Gregbard talk contribs 1,502 bytes +19 added Category:Logic using HotCat undo

curprev 10:4010:40, 16 August 2011 Tom Morris talk contribs 1,483 bytes +106 name is a pun undo
curprev 10:3810:38, 16 August 2011 Tom Morris talk contribs 1,377 bytes +46 wikify undo

curprev 20:3620:36, 4 June 2011 Katharineamy talk contribs 1,331 bytes +3 added Category:Educational software; removed {{uncategorized}} using HotCat undo

curprev 23:0823:08, 28 May 2011 MadeYourReadThis talk contribs 1,328 bytes +64 Added {{notability}} and {{one source}} tags to article using TW undo
curprev 21:1321:13, 28 May 2011 Phil Bridger talk contribs 1,264 bytes −187 contest deletion - deletion has already been contested so WP:PROD can't be used, and the reference is to a review of the book, not the book itself undo
curprev 21:0921:09, 28 May 2011 MadeYourReadThis talk contribs 1,451 bytes +187 Proposing article for deletion per WP:PROD. (TW) undo

curprev 09:1709:17, 7 May 2011 Yobot talk contribs m 1,264 bytes +59 Autotagging + general fixes, added uncategorised, wikify tags using AWB (7694) undo

curprev 19:0319:03, 3 May 2011 Phil Bridger talk contribs 1,205 bytes −36 contest deletion undo

curprev 06:1906:19, 2 May 2011 Giraffedata talk contribs 1,241 bytes −4 "comprised of" undo

curprev 21:0121:01, 1 May 2011 PWilkinson talk contribs 1,245 bytes +65 Authorship undo

23 November 2022

24 October 2022

6 August 2022

10 February 2022

17 December 2020

14 December 2020

10 February 2020

10 May 2019

11 November 2018

17 August 2017

14 August 2017

5 April 2017

8 January 2017

13 September 2016

3 September 2015

7 January 2015

26 September 2014

25 September 2014

28 April 2014

9 October 2013

5 October 2013

7 May 2013

13 November 2012

20 August 2012

20 July 2012

7 December 2011

17 October 2011

18 August 2011

16 August 2011

4 June 2011

28 May 2011

7 May 2011

3 May 2011

2 May 2011

1 May 2011