Tractatus logico-informaticus by Nicholas Meyer