Raymond Turner

1947

• Computable models
• Constructive foundations for functional languages
• Logics for artificial intelligence
• Properties, types and meaning
• Software engineering methodology
• Truth and modality for knowledge representation
• Logiques pour l'intelligence artificielle
• Tolley's Charities Manual