DaVince Tools Generated PDF File

2 downloads 121 Views 3MB Size Report
Many authors use a restricted form of predicate calculus (usually quantifier—free) of , or some. ..... to inductive asstr tions (eq. (2)) can be viewed (at least ...