Topia!: Science: Math: Logic and Foundations: Computational Logic (36) Automated Reasoning (topiasearch) Combinatory Logic and Lambda Calculus (topiasearch) Logical Frameworks (topiasearch) Research Index: Computer Science: Theory: Logic - Research Index is a major project to provide access to research science in a format that benefits from the interconnectivity of the internet. Additional categories: electronic gadgets fax machines Concord desk mates honda equipment

Computational Logic