logic | Logic | Programmable logic controller | Louis Logic | Transistor–transistor logic | Solid State Logic | Logic Pro | Cirrus Logic | Postmodernism, or, the Cultural Logic of Late Capitalism | Ladder Logic | Ladder logic | Journal of Symbolic Logic | informal logic | H-Logic | fuzzy logic | Formula (mathematical logic) | Burrows-Abadi-Needham logic | Bien Logic | Ω-logic | Valid Logic Systems | Twisted Logic Tour | Transistor-transistor logic | transistor–transistor logic | transistor-transistor logic | Three-valued logic | Three-state logic | Queens Logic | programmable logic controller | Programmable Array Logic | programmable array logic |
Carol Karp, née Carol Ruth Vander Velde (10 August 1926, Forest Grove, Ottawa County, Michigan – 20 August 1972, Maryland), was an American mathematician of Dutch ancestry, best known for her work on infinitary logic.