John V. Tucker

• Logical Approaches to Computational Barriers
• Prospects for Hardware Foundations
• Computble Algbra
• Prospects for Hardware Foundations