User contributions for 80.47.211.70
Jump to navigation
Jump to search
5 November 2006
- 09:0709:07, 5 November 2006 diff hist +8,255 N Formal Logic/Sentential Logic/Formal Semantics →Valuations current
- 08:5708:57, 5 November 2006 diff hist +11,716 N Formal Logic/Predicate Logic/Truth →Truth in a model current