Richard C. Jeffrey

Identifiers

• Open LibraryOL770865A

Top Subjects

• Logic (3)
• Computable functions (2)
• Recursive functions (2)
• Logic, Symbolic and mathematical (2)
• Philosophy / Logic (2)
• First-order logic (1)
• Philosophy (1)