Logic for Computer Science/Propositional Logic: Revision history

View logs for this page

Jump to navigation Jump to search

Click on any date below to read that revision (learn more).
External tools: Search · Statistics · Contributors · Watchers · Readers

(cur) = difference with current version, (last) = difference with preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 20:2520:25, 28 February 2022‎ Faster than Thunder discuss contribs‎ 26,052 bytes +10‎ Clarified \land undo Tag: Visual edit [automatically checked]

curprev 19:2219:22, 22 May 2019‎ Texvc2LaTeXBot discuss contribs‎ m 26,042 bytes +101‎ Replacing deprecated latex syntax mw:Extension:Math/Roadmap undo [automatically checked]

curprev 22:3522:35, 4 March 2018‎ יהודה שמחה ולדמן discuss contribs‎ 25,941 bytes −665‎ No edit summary undo [automatically checked]

curprev 23:4723:47, 27 February 2018‎ יהודה שמחה ולדמן discuss contribs‎ 26,606 bytes −150‎ No edit summary undo [automatically checked]

curprev 20:4420:44, 16 August 2017‎ JackBot discuss contribs‎ m 26,756 bytes −38‎ Formatting undo [automatically checked]

curprev 11:1211:12, 22 June 2015‎ MarcGarver discuss contribs‎ 26,794 bytes −133‎ No edit summary undo [checked by MarcGarver]

curprev 13:5913:59, 2 February 2010‎ 74.57.120.133 discuss‎ 26,828 bytes +1‎ →‎Syntax undo [checked by Adrignola]

curprev 04:1904:19, 27 May 2009‎ Adrignola discuss contribs‎ m 26,827 bytes 0‎ moved Logic/Propositional Logic to Logic for Computer Science/Propositional Logic: More descriptive name and allows use of Logic category. undo [checked by Adrignola]

curprev 19:1319:13, 11 May 2009‎ Adrignola discuss contribs‎ m 26,827 bytes +20‎ +category undo

curprev 19:4719:47, 16 July 2008‎ 141.31.183.172 discuss‎ 26,807 bytes +1‎ Undo revision 1085430 by 194.80.32.8 (Talk) NO! seems like vandalism and actually is wrong undo

curprev 16:0316:03, 28 May 2008‎ Jomegat discuss contribs‎ m 26,806 bytes −1‎ Reverted edit of 78.32.64.213, changed back to last version by Mike's bot account undo
curprev 15:3415:34, 28 May 2008‎ 78.32.64.213 discuss‎ 26,807 bytes +1‎ revert vandalism by 194.80.32.8 undo

curprev 21:5921:59, 28 March 2008‎ Mike's bot account discuss contribs‎ m 26,806 bytes 0‎ Robot: Changing Category:Computer Science undo

curprev 21:0021:00, 6 February 2008‎ 128.211.178.163 discuss‎ 26,806 bytes 0‎ →‎Natural Deduction undo

curprev 17:3417:34, 17 January 2008‎ 194.80.32.8 discuss‎ 26,806 bytes −1‎ No edit summary undo

curprev 03:1303:13, 18 December 2007‎ 70.53.161.136 discuss‎ 26,807 bytes −2‎ →‎Propositional Logic: -m undo

curprev 01:3101:31, 3 September 2007‎ Darklama discuss contribs‎ m 26,809 bytes 0‎ Computer Logic/Propositional Logic moved to Logic/Propositional Logic: naming consistency undo

curprev 08:1108:11, 2 July 2007‎ Robert Horning discuss contribs‎ m 26,809 bytes 0‎ Computer Science/Logic/Propositional Logic moved to Computer Logic/Propositional Logic: Removing from Computer Science psuedonamespace undo

curprev 19:0119:01, 24 June 2006‎ Jguk discuss contribs‎ m 26,806 bytes 0‎ Computer Science:Logic/Propositional Logic moved to Computer Science/Logic/Propositional Logic undo
curprev 18:5918:59, 24 June 2006‎ Jguk discuss contribs‎ m 26,806 bytes +31‎ No edit summary undo

curprev 17:1517:15, 20 March 2006‎ 128.131.111.117 discuss‎ 26,775 bytes −1‎ →‎Linear Resolution and PROLOG undo

curprev 17:1017:10, 11 June 2005‎ 151.198.111.104 discuss‎ 26,776 bytes +14‎ No edit summary undo
curprev 16:0816:08, 11 June 2005‎ 151.198.111.104 discuss‎ 26,762 bytes +2‎ No edit summary undo
curprev 15:3815:38, 11 June 2005‎ 151.198.111.104 discuss‎ 26,760 bytes +5‎ No edit summary undo

curprev 18:2918:29, 15 February 2005‎ 217.238.200.214 discuss‎ 26,755 bytes −1‎ →‎Propositional Logic: typo undo

curprev 22:3722:37, 26 January 2005‎ Mshonle discuss contribs‎ m 26,756 bytes −13‎ →‎Natural Deduction: unTeX undo

curprev 09:1909:19, 25 January 2005‎ 132.239.95.250 discuss‎ 26,769 bytes +12‎ →‎Propositional Resolution undo

curprev 20:2820:28, 22 January 2005‎ Mshonle discuss contribs‎ m 26,757 bytes −55‎ →‎Completeness of Natural Deduction: use a real frac undo

curprev 20:2620:26, 20 January 2005‎ Mshonle discuss contribs‎ 25,528 bytes +247‎ →‎Linear Resolution and PROLOG: done with importing this section undo
curprev 20:2320:23, 20 January 2005‎ Mshonle discuss contribs‎ 25,281 bytes +37‎ →‎Linear Resolution and PROLOG: +table undo
curprev 20:1820:18, 20 January 2005‎ Mshonle discuss contribs‎ 25,244 bytes +2,154‎ →‎Completeness of Natural Deduction: + Prolog section undo
curprev 20:0620:06, 20 January 2005‎ Mshonle discuss contribs‎ 23,090 bytes +697‎ Completeness of Natural Deduction undo

Retrieved from "https://en.wikibooks.org/wiki/Logic_for_Computer_Science/Propositional_Logic"