Jump to content

Second-order propositional 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 10:3810:38, 8 December 2023 EmilJ talk contribs 1,208 bytes +1 →See also: replace with something more relevant undo

curprev 12:1612:16, 4 February 2022 Wint7 talk contribs m 1,207 bytes +223 Reference edited with ProveIt. Use Template:Harvp. [fmt] undo Tags: ProveIt edit 2017 wikitext editor

curprev 15:0015:00, 22 April 2021 RoanokeVirginia talk contribs 984 bytes +50 Adding short description: "Type of propositional logic" (Shortdesc helper) undo

curprev 22:5222:52, 30 March 2020 Ionchy talk contribs m 934 bytes 0 Capitalization undo Tag: 2017 wikitext editor

curprev 14:4014:40, 26 August 2019 Jarble talk contribs 934 bytes +39 adding links to references using Google Scholar undo

curprev 01:3601:36, 29 January 2018 CBM talk contribs m 895 bytes −47 Rm merge tag by IP undo

curprev 10:1510:15, 27 January 2018 AnomieBOT talk contribs m 942 bytes +18 Dating maintenance tags: {{Merge}} undo
curprev 08:1508:15, 27 January 2018 96.48.181.227 talk 924 bytes +29 No edit summary undo

curprev 20:4120:41, 12 August 2014 Jochen Burghardt talk contribs 895 bytes +23 →top: dab undo

curprev 14:0314:03, 18 September 2011 Epsilon0 talk contribs m 872 bytes −1 No edit summary undo

curprev 17:1117:11, 21 March 2011 Meloman talk contribs m 873 bytes +3 can be undo

curprev 03:2603:26, 17 July 2010 Michael Hardy talk contribs m 870 bytes +6 →References: dash; see WP:MOS undo

curprev 21:3921:39, 15 July 2010 Gregbard talk contribs m 864 bytes +37 Adding category Category:Propositional calculus (using HotCat) undo

curprev 15:2715:27, 28 May 2010 Jason Quinn talk contribs 827 bytes −6 layout fix undo

Retrieved from "https://en.wikipedia.org/wiki/Second-order_propositional_logic"