책 이미지

책 정보
· 분류 : 외국도서 > 인문/사회 > 철학 > 논리
· ISBN : 9780444516213
· 쪽수 : 880쪽
· 출판일 : 2012-03-02
목차
Set Theory from Cantor to Cohen, by Akihiro Kanamori History of the Continuum in the 20th Century, by Juris Stepr?ans Infinite Combinatorics, by Jean A. Larson Large Cardinals with Forcing, by Akihiro Kanamori Inner Models for Large Cardinals, by William J. Mitchell A Brief History of Determinacy, by Paul B. Larson Singular Cardinals: From Hausdorff’s Gaps to Shelah’s pcf Theory, by Menachem Kojman Alternative Set Theories, by M. Randall Holmes, Thomas Forster, and Thierry Libert Types, Sets, and Categories, by John L. Bell The History of Categorical Logic: 1963?1977, by Jean-Pierre Marquis and Gonzalo E. Reyes Russell’s Orders in Kripke’s Theory of Truth and Computational Type Theory, by Fairouz Kamareddine, Twan Laan, and Robert Constable