"'($f) ($x) fx' implies '($x) XEL,"

Loading the Internet Archive BookReader, please wait...