https://www.aladin.co.kr/shop/wproduct.aspx?ItemId=12455428
Language, Proof, and Logic: Second Edition [With CDROM] (Paperback, 2)Language, Proof, and Logic: Second Edition [With CDROM] (Paperback, 2)www.aladin.co.kr여기 갤에 '입문'이라치고 괜찮은 책 둘러보다가 나옴.
이거 괜찮냐 입문으로
아니면 뭐 다른 영어책 추천하는거있나
Derek Goldrei의 Propositional Calculus
오 이건 좀 어떰? + 내가 말한건 좀 별로?
https://www.amazon.com/Propositional-Predicate-Calculus-Model-Argument/dp/1852339217/ref=sr_1_1?crid=26F0AFCOXLWJE&keywords=derek+goldrei&qid=1688455944&sprefix=derek+goldrei%2Caps%2C513&sr=8-1
이거 맞는지도 봐주고