User contributions for IsleLaMotte
A user with 18 edits. Account created on 13 June 2007.
6 November 2011
- 04:3504:35, 6 November 2011 diff hist −1 Conjunctive normal form No edit summary
- 04:2904:29, 6 November 2011 diff hist −285 Conjunctive normal form No edit summary
29 January 2010
- 21:2021:20, 29 January 2010 diff hist +363 Non-standard model No edit summary
- 21:0321:03, 29 January 2010 diff hist +39 Mathematical logic No edit summary
- 20:5620:56, 29 January 2010 diff hist +102 Higher-order logic No edit summary
- 20:4320:43, 29 January 2010 diff hist +306 Tarski's undefinability theorem No edit summary
- 20:3620:36, 29 January 2010 diff hist +306 Sequent calculus No edit summary
- 20:3020:30, 29 January 2010 diff hist +322 Craig interpolation No edit summary
- 20:2020:20, 29 January 2010 diff hist +305 Independence (mathematical logic) No edit summary
- 20:1520:15, 29 January 2010 diff hist +304 Compactness theorem No edit summary
- 20:1220:12, 29 January 2010 diff hist +321 Prenex normal form No edit summary
- 20:0120:01, 29 January 2010 diff hist +304 Gödel's completeness theorem No edit summary
- 19:5419:54, 29 January 2010 diff hist +321 Duality (mathematics) No edit summary
- 19:4719:47, 29 January 2010 diff hist +321 Skolem normal form No edit summary
- 19:4319:43, 29 January 2010 diff hist +321 Herbrand's theorem No edit summary
- 19:3319:33, 29 January 2010 diff hist +304 Gödel's incompleteness theorems No edit summary
- 19:2519:25, 29 January 2010 diff hist +25 Type theory No edit summary
13 June 2007
- 18:1718:17, 13 June 2007 diff hist +108 Mathematical logic No edit summary