책 이미지
eBook 미리보기
책 정보
· 제목 : An Introduction to the Technique of Formative Processes in Set Theory (Hardcover, 2018)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783319747774
· 쪽수 : 154쪽
· 출판일 : 2018-02-26
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783319747774
· 쪽수 : 154쪽
· 출판일 : 2018-02-26
목차
Part I: Theoretical Apparatus.- Basics of Set Theory.- The Decision Problem in Set Theory.- Formative Processes.- Part II: Applications.- Decidability of MLSSP.- Decidability of MLSSPF.
