Libreria "propia" de PHP no hay ..
Pero si que tienes los algoritmos de validación de nº de tarjeta de crédito en la red ..
Es más .. usando google un rato:
http://www.devarticles.com/art/1/88/2
Fijate que los algorítmos de validación son diferentes para las diferentes tarjetas de crédito que hay: VISA, Mastercard, etc ...
Ahí en ese artículo tienes una explicación+classe de PHP para usarla.
Un saludo,