William S. Hatcher

1981
3		William S. Hatcher, Bernard R. Hodgson: Complexity Bounds on Proofs. J. Symb. Log. 46(2): 255-258 (1981)
1975
2	EE	G. Coray, William S. Hatcher: A logical framework for large file information handling. Inf. Sci. 8(1): 27-38 (1975)
1966
1		William S. Hatcher: Logical Truth and Logical Implication. J. Symb. Log. 31(4): 561 (1966)

Coauthor Index

1	G. Coray	[2]
2	Bernard R. Hodgson	[3]

Colors in the list of coauthors