something like:
$month=number_format(07);
(where 07 is the month part of the date string, do this to remove the leading 0)
$months = array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");
$monthtext=$months[$month - 1]
hope that helps...