User contributions
- 22:53, 24 October 2013 diff hist 0 m Lindenbaum method →Lindenbaum's theorem
- 22:44, 24 October 2013 diff hist -1 m Lindenbaum method →Alternative approach
- 22:41, 24 October 2013 diff hist 0 Lindenbaum method →Lindenbaum method (propositional language)
- 17:50, 8 September 2013 diff hist +10 Lindenbaum method →Lindenbaum's theorem
- 17:47, 8 September 2013 diff hist -4 Lindenbaum method →Lindenbaum's theorem
- 17:44, 8 September 2013 diff hist +16 Lindenbaum method →Lindenbaum's theorem
- 17:40, 8 September 2013 diff hist +1 Lindenbaum method →Lindenbaum's theorem
- 17:40, 8 September 2013 diff hist -4 Lindenbaum method →Lindenbaum's theorem
- 17:34, 8 September 2013 diff hist +4 Lindenbaum method →Lindenbaum's theorem
- 17:30, 8 September 2013 diff hist -4 Lindenbaum method →Wójcicki's theorems
- 17:29, 8 September 2013 diff hist -2 Lindenbaum method →Lindenbaum's theorem
- 17:26, 8 September 2013 diff hist -2 Lindenbaum method →Lindenbaum's theorem
- 17:23, 8 September 2013 diff hist +10 Lindenbaum method →Lindenbaum method (propositional language)
- 17:19, 8 September 2013 diff hist -2 Lindenbaum method →Lindenbaum's theorem
- 17:18, 8 September 2013 diff hist +4 Lindenbaum method →Lindenbaum's theorem
- 17:15, 8 September 2013 diff hist -11 Lindenbaum method →Lindenbaum's theorem
- 17:13, 8 September 2013 diff hist +36 Lindenbaum method →Lindenbaum's theorem
- 17:10, 8 September 2013 diff hist +6 Lindenbaum method →Lindenbaum's theorem
- 17:08, 8 September 2013 diff hist +1 Lindenbaum method →Lindenbaum's theorem
- 17:07, 8 September 2013 diff hist +8 Lindenbaum method →Lindenbaum's theorem
- 01:21, 29 August 2013 diff hist +31 m Lindenbaum method →Lindenbaum's theorem
- 18:57, 11 August 2013 diff hist +28 m Lindenbaum method →Alternative approach
- 18:54, 11 August 2013 diff hist +8 m Lindenbaum method →Alternative approach
- 23:54, 13 July 2013 diff hist 0 Lindenbaum method →References
- 23:52, 13 July 2013 diff hist -1 Lindenbaum method →References
- 23:49, 13 July 2013 diff hist -1 Lindenbaum method →Specifications and applications
- 23:44, 13 July 2013 diff hist 0 Lindenbaum method →Historical remarks
- 23:36, 13 July 2013 diff hist 0 Lindenbaum method →Lindenbaum-Tarski algebra
- 23:33, 13 July 2013 diff hist 0 Lindenbaum method →Wójcicki's theorems
- 23:31, 13 July 2013 diff hist +1 Lindenbaum method →Historical remarks
- 23:29, 13 July 2013 diff hist +1 Lindenbaum method →Historical remarks
- 23:23, 13 July 2013 diff hist +181 Lindenbaum method →References
- 23:17, 13 July 2013 diff hist +9 Lindenbaum method
- 03:51, 27 April 2013 diff hist -166 Lindenbaum method
- 03:48, 27 April 2013 diff hist -1 Lindenbaum method
- 03:43, 27 April 2013 diff hist +78 Lindenbaum method →Alternative approach
- 03:41, 27 April 2013 diff hist +78 Lindenbaum method →Alternative approach
- 03:39, 27 April 2013 diff hist +11 Lindenbaum method →Alternative approach
- 03:00, 27 April 2013 diff hist 0 Lindenbaum method
- 00:22, 26 April 2013 diff hist +1 Lindenbaum method