The Clausal Theory Of Types door D.A. Wolfram