<div dir="ltr"><div><div>The package amsart is included in MiKTeX as amscls. I would have thought that it is included by default in the basic MikTeX distribution. If it is missing from the system it may be installed using the MikTex  package management system available from the start  button.<br>
<br></div>|Start| All Programs | MikTeX 2.9 | Maintenance (Admin) | Package Manager (Admin) |<br><br></div><div>I am using Windows 7.  I have done similar things in earlier versions of Windows and I presume that something similar can be done in windows 8.  Usually MikTeX is configured to download and install missing packages when it encounters a new package in a document.<br>
<br></div><div>Best Regards<br><br></div><div>John <br></div></div>