Solomon Feferman has shaped the field of foundational
research for nearly half a century. These papers, most of which
were presented at the symposiu More...
Solomon Feferman has
shaped the field of foundational research for nearly half a
century. These papers, most of which were presented at the
symposiu More...
This
carefully prepared manuscript presents elimination theory in
weighted projective spaces over arbitrary noetherian commutative
base rings. Elimi More...
This
classic reference work is a comprehensive guide to the design,
evaluation, and use of reliable computer systems. It includes case
studies of reli More...