SPECIAL:CONTRIBUTIONS EUGEPROS

Search for contributionsshowhide

⧼contribs-top⧽

Username, IP address or CIDR range:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

Show only edits pending review

Hide probably good edits

10:09 10:09, 6 October 2018 diff hist +292‎ Talk:Post's theorem ‎No edit summary

12:11 12:11, 13 April 2018 diff hist 0‎ Talk:Disjunction and existence properties ‎ →‎Existence property of IZF
12:08 12:08, 13 April 2018 diff hist 0‎ Talk:Disjunction and existence properties ‎ →‎Existence property of IZF
12:01 12:01, 13 April 2018 diff hist +808‎ Talk:Disjunction and existence properties ‎ →‎Existence property of IZF: new section

07:16 07:16, 8 April 2018 diff hist −2‎ Talk:Identity of indiscernibles ‎ →‎The indiscernibility of identicals
07:14 07:14, 8 April 2018 diff hist +21‎ Talk:Identity of indiscernibles ‎ →‎The indiscernibility of identicals
07:08 07:08, 8 April 2018 diff hist +84‎ Talk:Identity of indiscernibles ‎ →‎The indiscernibility of identicals
07:07 07:07, 8 April 2018 diff hist +865‎ Talk:Identity of indiscernibles ‎ →‎The indiscernibility of identicals: new section

11:27 11:27, 1 April 2018 diff hist −598‎ Talk:First-order logic ‎ →‎Equality and its axioms
10:39 10:39, 1 April 2018 diff hist +598‎ Talk:First-order logic ‎No edit summary

10:46 10:46, 29 January 2013 diff hist +4‎ MIT App Inventor ‎No edit summary

14:08 14:08, 15 August 2012 diff hist +236‎ Talk:Second-order logic ‎ →‎Few more words about consistency of Second-order logic
14:03 14:03, 15 August 2012 diff hist −40‎ Talk:Second-order logic ‎ →‎Few more words about consistency of Second-order logic
13:58 13:58, 15 August 2012 diff hist +421‎ Talk:Second-order logic ‎ →‎Few more words about consistency of Second-order logic
10:12 10:12, 15 August 2012 diff hist −123‎ Talk:Second-order logic ‎ →‎Few more words about consistency of Second-order logic
10:10 10:10, 15 August 2012 diff hist +345‎ Talk:Second-order logic ‎ →‎Few more words about consistency of Second-order logic
08:06 08:06, 15 August 2012 diff hist +1‎ Talk:Second-order logic ‎ →‎Few more words about consistency of Second-order logic
06:59 06:59, 15 August 2012 diff hist +1‎ Talk:Second-order logic ‎ →‎Few more words about consistency of Second-order logic
06:28 06:28, 15 August 2012 diff hist −1‎ Talk:Second-order logic ‎ →‎Few more words about consistency of Second-order logic
06:27 06:27, 15 August 2012 diff hist +746‎ Talk:Second-order logic ‎ →‎Few more words about consistency of Second-order logic: new section

10:44 10:44, 10 July 2012 diff hist 0‎ Talk:Robinson arithmetic ‎ →‎Dropping the axiom (3)
09:46 09:46, 10 July 2012 diff hist +287‎ Talk:Robinson arithmetic ‎ →‎Dropping the axiom (3)
09:29 09:29, 10 July 2012 diff hist 0‎ Talk:Robinson arithmetic ‎ →‎Dropping the axiom (3)
09:28 09:28, 10 July 2012 diff hist +1‎ Talk:Robinson arithmetic ‎ →‎Dropping the axiom (3)
09:26 09:26, 10 July 2012 diff hist +607‎ Talk:Robinson arithmetic ‎ →‎Dropping the axiom (3)

06:37 06:37, 9 July 2012 diff hist +190‎ Talk:Robinson arithmetic ‎ →‎Dropping the axiom (3)
06:28 06:28, 9 July 2012 diff hist +8‎ Talk:Robinson arithmetic ‎ →‎Dropping the axiom (3)
06:24 06:24, 9 July 2012 diff hist +453‎ Talk:Robinson arithmetic ‎ →‎Dropping the axiom (3)

09:13 09:13, 6 July 2012 diff hist +589‎ Talk:Robinson arithmetic ‎ →‎Dropping the axiom (3): new section

11:00 11:00, 25 May 2012 diff hist +180‎ Talk:Peano axioms ‎ →‎First-order theory of arithmetic
08:51 08:51, 25 May 2012 diff hist +379‎ Talk:Peano axioms ‎ →‎First-order theory of arithmetic

16:15 16:15, 24 May 2012 diff hist +437‎ Talk:Peano axioms ‎ →‎First-order theory of arithmetic
11:26 11:26, 24 May 2012 diff hist −32‎ Talk:Peano axioms ‎ →‎First-order theory of arithmetic
11:23 11:23, 24 May 2012 diff hist −32‎ Talk:Peano axioms ‎ →‎First-order theory of arithmetic
07:25 07:25, 24 May 2012 diff hist −2‎ Talk:Peano axioms ‎ →‎First-order theory of arithmetic
07:13 07:13, 24 May 2012 diff hist +817‎ Talk:Peano axioms ‎ →‎First-order theory of arithmetic

11:36 11:36, 23 May 2012 diff hist +2‎ Talk:Peano axioms ‎ →‎First-order theory of arithmetic
07:49 07:49, 23 May 2012 diff hist +774‎ Talk:Peano axioms ‎ →‎First-order theory of arithmetic

09:51 09:51, 22 May 2012 diff hist +530‎ Talk:Peano axioms ‎ →‎First-order theory of arithmetic

11:40 11:40, 20 April 2012 diff hist +15‎ Talk:Peano axioms ‎ →‎First-order theory of arithmetic
10:26 10:26, 20 April 2012 diff hist +2‎ Talk:Peano axioms ‎ →‎First-order theory of arithmetic
10:23 10:23, 20 April 2012 diff hist 0‎ Talk:Peano axioms ‎ →‎First-order theory of arithmetic
10:21 10:21, 20 April 2012 diff hist +325‎ Talk:Peano axioms ‎ →‎First-order theory of arithmetic
07:26 07:26, 20 April 2012 diff hist 0‎ Talk:Peano axioms ‎ →‎First-order theory of arithmetic
07:25 07:25, 20 April 2012 diff hist −564‎ Talk:Peano axioms ‎ →‎First-order theory of arithmetic
07:21 07:21, 20 April 2012 diff hist +564‎ Talk:Peano axioms ‎ →‎First-order theory of arithmetic: new section
07:21 07:21, 20 April 2012 diff hist +564‎ Talk:Peano axioms ‎ →‎First-order theory of arithmetic: new section

09:39 09:39, 18 October 2011 diff hist −13‎ Primitive recursive arithmetic ‎No edit summary

10:48 10:48, 21 July 2011 diff hist +401‎ Talk:Primitive recursive arithmetic ‎ →‎From \phi(0) and \phi(x) \to \phi(S(x)), deduce \phi(y), for any predicate \phi.: new section

10:34 10:34, 8 July 2011 diff hist +2‎ Talk:Second-order logic ‎ →‎Completeness

Videos

Websites

Encyclopedia

Facebook

6 October 2018

13 April 2018

8 April 2018

1 April 2018

29 January 2013

15 August 2012

10 July 2012

9 July 2012

6 July 2012

25 May 2012

24 May 2012

23 May 2012

22 May 2012

20 April 2012

18 October 2011

21 July 2011

8 July 2011