William S. Hatcher

Publication Activity (10 Years)

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

Publications

William S. Hatcher, Marcel Tonga
Pairings on Lambda Algebras. Math. Log. Q. 37 (19-22) (1991)
William S. Hatcher, Philip J. Scott
-Monoids. Math. Log. Q. 32 (25-30) (1986)
William S. Hatcher, Claude Laflamme
On the Order Structure of the Hyperreal Line. Math. Log. Q. 29 (4) (1983)
William S. Hatcher, Bernard R. Hodgson
Complexity Bounds on Proofs. J. Symb. Log. 46 (2) (1981)
William S. Hatcher
A Language for Type-Free Algebra. Math. Log. Q. 24 (25-30) (1978)
G. Coray, William S. Hatcher
A logical framework for large file information handling. Inf. Sci. 8 (1) (1975)
William S. Hatcher, A. Shafaat
Categorical languages for algebraic structures. Math. Log. Q. 21 (1) (1975)
William S. Hatcher
Foundations as a branch of mathematics. J. Philos. Log. 1 (3-4) (1972)
William S. Hatcher
Logical Truth and Logical Implication. J. Symb. Log. 31 (4) (1966)