William A. Howard

Handbook of mathematical logic, edited by Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 (© 1977), xi + 1165 pp. - C. Smoryński. D.1. The incompleteness theorems. Pp. 821–865. - Helmut Schwichtenberg. D.2. Proof theory: some applications of cut-elimination. Pp. 867–895. - Richard Statman. D.3. Herbrand's theorem and Gentzen's notion of a direct proof. Pp. 897–912. - Solomon Feferman. D.4. Theories of finite type related to mathematical practice. Pp. 913–971. - A. S. Troelstra. D.5. Aspects of constructive mathematics. Pp. 973–1052. - Michael P. Fourman. D.6. The logic of topoi. Pp. 1053–1090. - Henk P. Barendregt. D.1. The type free lambda calculus. Pp. 1091–1132. - Jeff Paris and Leo Harrington. D.8. A mathematical incompleteness in Peano arithmetic. Pp. 1133–1142.

William A. Howard · Journal of Symbolic Logic · 1984 · 837 citations

Terminal oxo, sulfido, selenido, and tellurido complexes of zirconium, (.eta.5-C5Me4R)2Zr(E)(NC5H5): comparison of terminal Zr-E single and Zr:E double-bond lengths

William A. Howard, Gerard Parkin · Journal of the American Chemical Society · 1994 · 151 citations

Inorganic Chemistry, Chemical Engineering, Tellurido Complexes +14

Syntheses of the Phenylchalcogenolate Complexes (.eta.5-C5Me5)2Zr(EPh)2 (E = O, S, Se, Te) and (.eta.5-C5H5)2Zr(OPh)2: Structural Comparisons within a Series of Complexes Containing Zirconium-Chalcogen Single Bonds

William A. Howard, Tina M. Trnka, Gerard Parkin · Inorganic Chemistry · 1995 · 101 citations

Inorganic Chemistry, Engineering, Structural Comparisons +13

Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis

William A. Howard, G. Kreisel · Journal of Symbolic Logic · 1966 · 100 citations

Intuitionistic Logic, Constructive Mathematics, Transfinite Induction +8

Terminal zirconium oxo complexes: synthesis, structure, and reactivity of (.eta.5-C5Me4R)2Zr(O)(NC5H4R')

William A. Howard, Marcey L. Waters, Gerard Parkin · Journal of the American Chemical Society · 1993 · 90 citations

Materials Science, Inorganic Chemistry, Chemical Engineering +11