[일반] 2차술어논리랑 완전성, 무모순성까지 다루는 강의나 책 있나요?

[익명(121.175)]

추가로 양상논리, 양자논리, 직관논리 등의 

비고전논리를 소개하는 강의나 책도 있으면 추천 부탁드려요

코어논리학은 예전에 읽어봤는데 

여긴 1차술어논리까지만 다뤘던 것 같아요

[익명(221.165)]

이런건 그냥 영어로 보삼

[익명(121.175)]

영어로 된 자료라도 추천해주실 수 있나요? 일본어도 괜찮고요

[익명(221.165)]

@ㅇㅇ(121.175) 그냥 mathematical logic, modal logic, predicate logic 그밖에니가 알고 싶은 logic을 구글링 해봐 아마존이든 어디든 책이 엄청 나오면 사람들이 좋다는 전공책 보면 되지 않나?? 이게 당연한 건데 추천 뭐 그런개념이 아닌데 이 분야는