Richard Jeffrey

American logician