Ronald Fechter

Publication Activity (10 Years)

Years Active: 1991-1991
Publications (10 Years): 0

Publications

Martin Davis, Ronald Fechter
A Free Variable Version of the First-Order Predicate Calculus. J. Log. Comput. 1 (4) (1991)