The Probability of Pure Literals.

[DOI]

,

,

J. Log. Comput., 1999

Correction to probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem.

[DOI]

,

,

Discret. Appl. Math., 1987

The expected complexity of analytic tableaux analyses in propositional calculus.

[DOI]

,

Notre Dame J. Formal Log., 1982

ZF and Locally Finite Groups.

[DOI]

Math. Log. Q., 1981

A patching lemma.

[DOI]

,

Notre Dame J. Formal Log., 1976

An Algebraic Characterization of Power Set in Countable Standard Models of ZF.

[DOI]

,

J. Symb. Log., 1975

Generic Embeddings.

[DOI]

J. Symb. Log., 1969