Benutzerbeiträge von „192.75.48.150“

30. Juni 2010

• 17:4617:46, 30. Jun. 2010 Unterschied Versionen +147‎ IBM 1800 ‎ →‎IBM 1800s at Pickering Removed from service. Added reference to ES-1800

25. Mai 2010

• 20:2220:22, 25. Mai 2010 Unterschied Versionen +269‎ Mattagami River ‎ →‎See also

12. Mai 2008

• 18:1918:19, 12. Mai 2008 Unterschied Versionen +126‎ Brouwer-Heyting-Kolmogorow-Interpretation ‎ →‎The interpretation: + interp for s=t

14. April 2008

• 16:5116:51, 14. Apr. 2008 Unterschied Versionen +363‎ Brouwer-Heyting-Kolmogorow-Interpretation ‎ →‎The interpretation

5. Februar 2008

• 17:3417:34, 5. Feb. 2008 Unterschied Versionen +28.191‎ CFNY-FM ‎ →‎Darrin Pfeiffer

11. September 2007

• 16:4516:45, 11. Sep. 2007 Unterschied Versionen −35‎ Partielle Äquivalenzrelation ‎ mention setoid
• 16:3616:36, 11. Sep. 2007 Unterschied Versionen +224‎ Partielle Äquivalenzrelation ‎Keine Bearbeitungszusammenfassung

2. April 2007

• 16:2916:29, 2. Apr. 2007 Unterschied Versionen +655‎ Geological Conservation Review ‎ Undid revision 119718359 by 146.145.164.42 (talk)

5. Januar 2007

• 22:2322:23, 5. Jan. 2007 Unterschied Versionen −4‎ Epcot ‎ Test Track replaced Horizons, not Mission: Space

27. Juni 2006

• 21:3721:37, 27. Jun. 2006 Unterschied Versionen +984‎ Brouwer-Heyting-Kolmogorow-Interpretation ‎ Expand "absurdity", rearrange, fix link

9. Juni 2006

• 16:3316:33, 9. Jun. 2006 Unterschied Versionen +941‎ Brouwer-Heyting-Kolmogorow-Interpretation ‎ →‎Examples: expand

5. Juni 2006

• 17:2417:24, 5. Jun. 2006 Unterschied Versionen +541‎ Brouwer-Heyting-Kolmogorow-Interpretation ‎ →‎The interpretation: 0=1 in arithmetic.

9. Mai 2006

• 17:3617:36, 9. Mai 2006 Unterschied Versionen +41‎ Brouwer-Heyting-Kolmogorow-Interpretation ‎ +cat constructivism
• 17:3617:36, 9. Mai 2006 Unterschied Versionen +46‎ Heyting-Arithmetik ‎ refine stubcat, +cat constructivism

26. August 2005

• 19:0519:05, 26. Aug. 2005 Unterschied Versionen +464‎ N Heyting-Arithmetik ‎ stub

25. August 2005

• 22:5822:58, 25. Aug. 2005 Unterschied Versionen +2.248‎ Brouwer-Heyting-Kolmogorow-Interpretation ‎ de-stub

21. Juli 2005

• 20:2120:21, 21. Jul. 2005 Unterschied Versionen +152‎ CCM-Modus ‎ Clarify a cryptic comment of mine
• 19:5019:50, 21. Jul. 2005 Unterschied Versionen +316‎ CCM-Modus ‎ Brief description of CCM