M. Sheard

A Survey of Graphs Hamiltonian-Connected from a Vertex

Patti Frazer Lock, G. Chartrand, O. R. Ollermann, 2009 .

Backwards Induction and a Formula of Ramanujan

M. Sheard, 2012 .

Reflecting on incompleteness. The Journal of Symbolic Logic, vol. 56

S. Feferman, Harvey M. Friedman, M. Sheard, 2010 .

Trick or Technique?

M. Sheard, 2009 .

Police governance in Canada : a parallax perspective

M. Sheard, 2016 .

THE CONSERVATION RESERVE PROGRAM AND FUTURE USE OF ENROLLED LAND IN MONTANA

M. Sheard, 1992 .

Elementary Descent Recursion and Proof Theory

Harvey M. Friedman, Michael Sheard, H. Friedman, 1995, Ann. Pure Appl. Log..