Home›Books›Raymond TurnerRaymond TurnerNo biography available.Works (5)Truth and modality for knowledge representationSoftware engineering methodologyProperties, types and meaningComputable modelsLogics for artificial intelligence