The Clausal Theory Of Types by D.A. Wolfram