William Craig (logician)
 
x
OK