Key points are not available for this paper at this time.
명제 계산 클래스의 계산 (단항 술어 계산) 제한된 술어 계산 확장된 술어 계산 편집자의 메모 참고 문헌 색인.
굿스타인 외 (토요일)는 이 질문을 연구했습니다.