Events Tagged: "second-order logic"

1 events with tag "second-order logic"

1885 ID: 381
Peirce distinguishes between first-order and second-order logic in his Johns Hopkins lectures
ID: 381