일차술어논리의 메타 정리를 다루는 국내교재가 있나요..?

명제논리의 메타 정리를 공부하고..

일차술어논리의 추리규칙들이나
용어들을 배우고 나니
일차술어논리의 완전성과 건전성에 대한 메타 정리도
공부하고 싶다는 생각이 들었습니다.

혹시 국내 서적 중에 일차술어논리의 메타 정리를 자세히 설명해주는 서적이 있나 궁금해서 질문 올립니다!

2개의 좋아요

이 글 보고 ‘있나?‘ 싶어서 찾아보았는데 놀랍게도 이런 역서가 있었네요:
https://product.kyobobook.co.kr/detail/S000001972175

8개의 좋아요

제가 열심히 찾아봤어야 했는데..
대신 찾아주셨네요.

바로 찜 해놨습니다.

항상 감사합니다!

위 링크의 영어책 pdf의 Appendix 부분만 잘라서 AI한테 번역을 시키시는 방법도 좋습니다.

3개의 좋아요

한국어로 된 수리 논리학 책이 정말 적다 보니, 표지를 보자마자 '아, 저거구나.' 하고 생각했어요.

3개의 좋아요

같은 출판사에서 How To Prove It도 번역해 놓았네요. 세상에 대체 뭐하는 출판사지…

https://product.kyobobook.co.kr/detail/S000210397784

7개의 좋아요

그 유명한 Computability and Logic이 번역되어 있기는 합니다. 절판되었다는 게 문제지....

4개의 좋아요

예전에 학교 도서관에서 발견해서 언젠가 읽어보아야겠다고 생각하고 있었는데, 이 책이 유명한 책이었나 보네요!

6개의 좋아요

세월의 흔적이 느껴지는 책이군요..

중고 서점을 뒤지고 있습니다.
없으면 학교 도서관에서라도 빌려야겠네요..ㅠ

1개의 좋아요

글은 주제와는 무관하지만, 책을 구하실 다른 방법이 없다면 국립중앙도서관 원문복사 서비스 협약기관 또는 국회도서관 원문복사서비스에 대해 찾아보셔도 좋을 것 같습니다. 글 자체를 구하는 가장 좋은 방법인지는 모르겠지만 대출보다는 편하게 (필기도 하면서) 읽을 수 있는 방법들이라 말씀드렸습니다. 글을 구하는 방법을 선택하실 때 도움 되시길 바랍니다.

3개의 좋아요

계산가능성과 논리 번역본 초심자가 읽기에 어렵습니다. 증명도 사소한 부분은 생략한 것들도 많아서, 가령 1-1이 가능하다는데, 왜 가능한지 함수가 제시 안되어있고 넘어간다는 등의 그런 식의 것이 많아서 비추천합니다. 논리학 같은 교과서는 비교적 문장구조가 간편하고 뚜렷해서 쉬운 영어책 지피티 돌리면서 보는걸 추천드려요.

6개의 좋아요