# William S. Hatcher

According to our database

Collaborative distances:

^{1}, William S. Hatcher authored at least 9 papers between 1966 and 1991.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

1991

Pairings on Lambda Algebras.

Math. Log. Q., 1991

1986

Lambda-Algebras and

*C*-Monoids.
Math. Log. Q., 1986

1983

On the Order Structure of the Hyperreal Line.

Math. Log. Q., 1983

1981

Complexity Bounds on Proofs.

J. Symb. Log., 1981

1978

A Language for Type-Free Algebra.

Math. Log. Q., 1978

1975

Categorical languages for algebraic structures.

Math. Log. Q., 1975

A logical framework for large file information handling.

Inf. Sci., 1975

1972

Foundations as a branch of mathematics.

J. Philosophical Logic, 1972

1966

Logical Truth and Logical Implication.

J. Symb. Log., 1966