Logic for Computer Science/First-Order 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:4420:44, 16 August 2017‎ JackBot discuss contribs‎ m 18,894 bytes −38‎ Formatting undo [automatically checked]

curprev 16:1116:11, 13 August 2012‎ 169.234.139.192 discuss‎ 18,932 bytes −4‎ Balanced parens in expressions NT11 and NT13 undo [checked by Xania]
curprev 16:0716:07, 13 August 2012‎ 169.234.139.192 discuss‎ 18,936 bytes +1‎ Added closing paren to balance the second expression and isolate the final term for renaming undo

curprev 04:2104:21, 27 May 2009‎ Adrignola discuss contribs‎ m 18,935 bytes 0‎ moved Logic/First-Order Logic to Logic for Computer Science/First-Order Logic: More descriptive name and allows use of Logic category. undo [checked by Adrignola]

curprev 19:1419:14, 11 May 2009‎ Adrignola discuss contribs‎ m 18,935 bytes +20‎ +category undo

curprev 08:5108:51, 7 April 2009‎ Van der Hoorn discuss contribs‎ m 18,915 bytes +1‎ typo fix undo

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

curprev 18:5818:58, 24 June 2006‎ Jguk discuss contribs‎ m 18,914 bytes +31‎ No edit summary undo

curprev 13:0613:06, 13 February 2005‎ 80.134.151.161 discuss‎ 18,883 bytes +20‎ →‎Aside: Nonlogical axioms for number theory undo

curprev 02:5802:58, 31 January 2005‎ Ehw discuss contribs‎ m 18,863 bytes +30‎ →‎Axiomatic approach undo

curprev 21:5921:59, 30 January 2005‎ Mshonle discuss contribs‎ m 18,833 bytes +67‎ →‎Aside: Nonlogical axioms for number theory: formatting undo
curprev 21:4421:44, 30 January 2005‎ Mshonle discuss contribs‎ 18,766 bytes +2,582‎ →‎A Deductive System for FO: more sections, but must check for accuracy and ommisions undo
curprev 21:0621:06, 30 January 2005‎ Ehw discuss contribs‎ 16,184 bytes +1,469‎ No edit summary undo

curprev 06:0806:08, 24 January 2005‎ Mshonle discuss contribs‎ 14,715 bytes +4,640‎ more sections... Godel is coming soon! undo

curprev 22:2022:20, 21 January 2005‎ Mshonle discuss contribs‎ 2,376 bytes +669‎ →‎Syntax: +terms undo
curprev 22:1522:15, 21 January 2005‎ Mshonle discuss contribs‎ 1,707 bytes +1,686‎ the conversion begins undo

curprev 21:5421:54, 20 January 2005‎ Mshonle discuss contribs‎ 21 bytes +21‎ create next chapter

Retrieved from "https://en.wikibooks.org/wiki/Logic_for_Computer_Science/First-Order_Logic"