• Skeptics Sketch for a Theory of the Emotions Skolem's paradox SkolemLöwenheim theorem Skolem normal form Skolem paradox Slaughterhouse-Five Slave morality...
    82 KB (8,194 words) - 17:28, 20 March 2024
  • Thumbnail for Leon Henkin
    first-order logic; some proofs of completeness and discussed part of the Löwenheim-Skolem theorems were revised, as well as a presentation of Gödel's proof on...
    68 KB (10,313 words) - 00:00, 9 April 2024