Formal Models of Aspects of Wittgenstein's Tractatus
(for noframe browsers)