Raymond Turner1947BooksProperties, types and meaningTolley's Charities ManualLogics for artificial intelligenceSoftware engineering methodologyComputable modelsConstructive foundations for functional languagesLogiques pour l'intelligence artificielleTruth and modality for knowledge representationAuthor data: Open Library