Second-Order and Higher-Order Logicplato.stanford.edu3 points·lainon··0 commentsOpen articleSaveView on HN