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