圖書標籤: Logic 集閤論 數學 nemlophics First-order-Logic First-order
发表于2024-12-23
Multiple Forcing pdf epub mobi txt 電子書 下載 2024
In this 1987 text Professor Jech gives a unified treatment of the various forcing methods used in set theory, and presents their important applications. Product forcing, iterated forcing and proper forcing have proved powerful tools when studying the foundations of mathematics, for instance in consistency proofs. The book is based on graduate courses though some results are also included, making the book attractive to set theorists and logicians.
最好和最容易上手的力迫法入門讀物,可在讀完kunen的set theory中的力迫法章節後閱讀。
評分最好和最容易上手的力迫法入門讀物,可在讀完kunen的set theory中的力迫法章節後閱讀。
評分最好和最容易上手的力迫法入門讀物,可在讀完kunen的set theory中的力迫法章節後閱讀。
評分最好和最容易上手的力迫法入門讀物,可在讀完kunen的set theory中的力迫法章節後閱讀。
評分最好和最容易上手的力迫法入門讀物,可在讀完kunen的set theory中的力迫法章節後閱讀。
評分
評分
評分
評分
Multiple Forcing pdf epub mobi txt 電子書 下載 2024