출처: https://arca.live/b/math/52154829?p=1

         https://arca.live/b/math/52155731?p=1

이 글에 나오는 책을 보고 도대체 이게 뭔 책인지 궁금해서 인터파크에 찾아보았다

수리논리만 쳤는데 바로 나왔다



가격은 20,000원(근데 할인가와 원가가 똑같은데 뭐냐)



목차

머리말

제1장 명제와 논리식 
1 논리식의 구문
2 논리식의 의미
3 논리적 귀결과 모델
4 정규형식
5 변수를 포함한 명제, 벤 다이어그램

제2장 논리도해 
1 추론의 타당성
2 논리도해
3 논리도해 소프트웨어
4 터뜨리기와 추론

제3장 Fitch 증명시스템 
1 피치 시스템 소개
2 피치 증명의 구조
3 피치 추론규칙
4 증명 작성 기법

제4장 1계논리 
1 왜 1계논리인가?
2 1계논리식의 구문과 의미
3 피치 1계논리 추론규칙

제5장 1계논리 증명 작성 기법 
1 군론
2 페아노 산술

제6장 집합론 
1 집합과 증명과 역설
2 관계와 함수

제7장 수학의 기반과 공리적 집합론 
1 순서집합
2 동등관계와 상구조와 준동형사상
3 부분구조체와 카티지언곱 구조체
4 토픽 몇 가지
5 기수와 서수
6 공리적 집합론

참고문헌
찾아보기

목차는 다음과 같다



저자정보



근데 이거 알아보니까 '수리논리 연구 시리즈'라는게 있더라




시리즈는 위 책을 끝으로 더 이상 안 나온 것 같다(혹시 더 있는지는 추후 알아보겠다)



여기까지 내가 찾아 본 내용들이었다

(문제될시 지우겠습니다)