What kind of rocks are formed when magma or lava cool and harden?

Granite is a common type igneous rock. Mount Rushmore is largely composed of granite.