PROOF PROCEDURES IN PREDICATE CALCULUS AND TYPE THEORY

Carnegie-Mellon University, Pittsburgh PA

Investigators