User contributions for Elatinov
Results for Elatinov talk block log uploads logs global block log global account filter log
A user with 11 edits. Account created on 23 December 2019.
29 December 2019
- 11:4811:48, 29 December 2019 diff hist +103 m Natural deduction adding an external link
- 11:2911:29, 29 December 2019 diff hist +111 m Disjunctive normal form adding an external link
- 11:2411:24, 29 December 2019 diff hist +134 m Logical connective adding an external link
- 11:1911:19, 29 December 2019 diff hist +2 Propositional calculus editing an external link
- 11:1411:14, 29 December 2019 diff hist +113 m Propositional calculus Adding an external source
24 December 2019
- 15:3815:38, 24 December 2019 diff hist +41 m Natural deduction adding an external link
- 15:3115:31, 24 December 2019 diff hist +41 m Logical connective adding an external link
23 December 2019
- 16:5316:53, 23 December 2019 diff hist +42 m First-order logic adding an external link
- 16:4816:48, 23 December 2019 diff hist −4 m Classical logic editing an external link
- 16:4616:46, 23 December 2019 diff hist +86 m Classical logic adding an external link
- 16:3816:38, 23 December 2019 diff hist +41 m Propositional calculus Adding an external source - an online textbook
