User contributions
- 08:41, 22 April 2013 diff hist +1 Lindenbaum method
- 08:37, 22 April 2013 diff hist +6 Lindenbaum method
- 11:54, 20 April 2013 diff hist +1,682 Lindenbaum method
- 10:51, 20 April 2013 diff hist +1,300 Lindenbaum method →Alternative approach
- 10:33, 20 April 2013 diff hist +44 Lindenbaum method →Lindenbaum method (propositional language)
- 10:31, 20 April 2013 diff hist +3,609 Lindenbaum method →Historical remarks
- 09:53, 20 April 2013 diff hist +6,860 Lindenbaum method →Historical remarks
- 18:53, 18 April 2013 diff hist 0 Lindenbaum method →Lindenbaum's theorem
- 18:50, 18 April 2013 diff hist +3,715 Lindenbaum method →Lindenbaum's theorem
- 17:52, 18 April 2013 diff hist +1,810 Lindenbaum method
- 22:20, 15 April 2013 diff hist +16 N User:Acitkin/Interior algebra Created page with "Interior algebra"
- 22:04, 14 April 2013 diff hist +3,562 Lindenbaum method →Lindenbaum method (propositional language)
- 12:56, 14 April 2013 diff hist +3,155 Lindenbaum method →Lindenbaum method (propositional language)
- 11:54, 14 April 2013 diff hist +2,491 Lindenbaum method
- 10:17, 14 April 2013 diff hist +133 Lindenbaum method
- 09:03, 14 April 2013 diff hist -9 Lindenbaum method
- 08:54, 14 April 2013 diff hist +4,978 Lindenbaum method