Kripke (English, name)
expansion: Kripke
Senses:
glosses: A surname.
Forms: