책 이미지
eBook 미리보기
책 정보
· 제목 : A Course in Mathematical Logic for Mathematicians (Paperback, 2)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9781461424796
· 쪽수 : 384쪽
· 출판일 : 2012-03-03
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9781461424796
· 쪽수 : 384쪽
· 출판일 : 2012-03-03
목차
Preface to the Second Edition.- Preface to the First Edition.- Introduction to Formal Languages.- Truth and Deducibility. The Continuum Problem and Forcing.- The Continuum Problem and Constructible Sets.- Recursive Functions and Church's Thesis.- Diophantine Sets and Algorithmic Undecidability.- Godel's Incompleteness Theorem.- Recursive Groups.- Constructive Universe and Computation.- Model Theory.- Suggestions for Further Reading.- Index.-
