Jump to content

Principles of Mathematical Logic: 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 17:4717:47, 5 June 2021 213.119.8.88 talk 3,568 bytes +4 No edit summary undo

curprev 20:5020:50, 7 May 2021 OAbot talk contribs m 3,564 bytes +48 Open access bot: doi added to citation with #oabot. undo

curprev 23:0623:06, 28 April 2021 Bender the Bot talk contribs m 3,516 bytes +3 →top: HTTP → HTTPS for the American Mathematical Society, replaced: =http://www.ams.org/ → =https://www.ams.org/ (3) undo Tag: AWB

curprev 07:5207:52, 12 May 2020 Dansynek talk contribs 3,513 bytes 0 →References undo

curprev 00:4400:44, 24 December 2019 Rgdboer talk contribs 3,513 bytes +136 →References: translators & GB preview link undo
curprev 00:3300:33, 24 December 2019 Rgdboer talk contribs m 3,377 bytes +20 rm Relational algebra, lk Russell's paradox, Liar paradox undo

curprev 00:1300:13, 25 November 2019 I grieve in stereo talk contribs m 3,357 bytes +12 Moving from Category:1928 books to Category:1928 non-fiction books using Cat-a-lot undo
curprev 00:1300:13, 25 November 2019 I grieve in stereo talk contribs m 3,345 bytes +12 Moving from Category:1938 books to Category:1938 non-fiction books using Cat-a-lot undo

curprev 23:2323:23, 31 August 2018 Rgdboer talk contribs m 3,333 bytes +4 →References: ch cat undo

curprev 00:0200:02, 26 June 2017 PrimeBOT talk contribs m 3,329 bytes +8 Replace magic links with templates per local RfC - BRFA undo

curprev 15:5015:50, 4 June 2017 William Caputo talk contribs 3,321 bytes +44 Added mention of Alan Turing's work in 1936 as well. undo

curprev 15:2615:26, 10 January 2016 Rjwilmsi talk contribs m 3,277 bytes +72 Journal cites, Added 2 dois to journal cites using AWB (11769) undo

curprev 15:3515:35, 9 April 2015 Suslindisambiguator talk contribs 3,205 bytes +775 No edit summary undo

curprev 09:4409:44, 22 May 2014 Rjwilmsi talk contribs m 2,430 bytes +36 Added 1 doi to a journal cite using AWB (10201) undo

curprev 09:2909:29, 14 March 2013 Addbot talk contribs m 2,394 bytes −40 Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q3403665 undo

curprev 23:1023:10, 11 January 2013 Omnipaedista talk contribs 2,434 bytes +33 Italic title undo

curprev 20:5320:53, 9 January 2013 Suslindisambiguator talk contribs 2,401 bytes +346 No edit summary undo

curprev 10:5110:51, 12 March 2010 121.91.119.12 talk 2,055 bytes −6 Removed weasel words ('the' in particular) and grounded this statement in reality. Mathematical Logic is far greater than FOL and all mathematical logic is not grounded on FOL. undo

curprev 03:0303:03, 3 April 2009 Eleuther talk contribs m 2,061 bytes 0 moved Principles of Theoretical Logic to Principles of Mathematical Logic: Renamed article to match book title undo

curprev 13:0013:00, 16 September 2008 207.236.24.137 talk 2,061 bytes +1 No edit summary undo
curprev 12:5912:59, 16 September 2008 207.236.24.137 talk 2,060 bytes +1 No edit summary undo

curprev 08:4808:48, 9 February 2008 Phe-bot talk contribs m 2,059 bytes +40 robot Adding: fr:Principes de logique théorique undo

curprev 14:1214:12, 9 January 2008 PhS talk contribs m 2,019 bytes +8 wikilink undo

curprev 03:3803:38, 9 November 2007 207.241.238.233 talk 2,011 bytes +125 +more specific Entscheidungsproblem link, and link to completeness theorem undo

curprev 02:4502:45, 20 July 2007 Gregbard talk contribs m 1,886 bytes +25 No edit summary undo

curprev 03:2803:28, 11 July 2007 Gregbard talk contribs m 1,861 bytes +16 No edit summary undo

curprev 20:5020:50, 16 May 2006 Michael Hardy talk contribs 1,845 bytes −13 →References: deleting the "stub" notice undo
curprev 20:5020:50, 16 May 2006 Michael Hardy talk contribs 1,858 bytes −10 Italicizing book titles, bypassing a redirect by fixing punctuation, deleting pointless words undo

curprev 17:2617:26, 29 April 2006 144.135.165.96 talk 1,868 bytes −83 spurious text removed undo

curprev 11:0811:08, 2 March 2006 82.10.164.158 talk 1,951 bytes +22 No edit summary undo

curprev 02:0002:00, 23 February 2006 MakeRocketGoNow talk contribs 1,929 bytes +48 +2 cat undo

curprev 18:4418:44, 5 January 2006 Jon Awbrey talk contribs m 1,881 bytes −1 fix unbalanced bracket undo
curprev 12:2912:29, 5 January 2006 202.36.179.65 talk 1,882 bytes −6 relational algebra undo
curprev 12:2712:27, 5 January 2006 202.36.179.65 talk 1,888 bytes +984 complete rewrite undo

curprev 23:4523:45, 7 July 2005 Mathbot talk contribs 904 bytes −1 Robot-assisted spelling. See User:Mathbot/Logged misspellings for changes. undo

curprev 06:0206:02, 30 June 2005 Oleg Alexandrov talk contribs 905 bytes +31 Category:Mathematics books undo

curprev 03:4003:40, 29 June 2005 128.36.233.100 talk 874 bytes +874 new page

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