User contributions for 160.45.152.6
Jump to navigation
Jump to search
21 May 2013
- 14:0714:07, 21 May 2013 diff hist +19,344 N Object theory →See also: : Adding Metatheory, Object language.
10 August 2012
- 16:2116:21, 10 August 2012 diff hist +12,693 N Axiom schema of replacement There is a single German Wikpedia article (Ersetzungsaxiom).
18 May 2012
- 16:3016:30, 18 May 2012 diff hist +3,230 N Sentence (mathematical logic) →References: Linking to the author within a book citation.