Events Tagged: "logic hierarchy"

Peirce distinguishes between first-order and second-order logic in his Johns Hopkins lectures