登入選單
返回Google圖書搜尋
Model Theory for Infinitary Logic
H. Jerome Keisler
其他書名
Logic with Countable Conjunctions and Finite Quantifiers
出版North-Holland Publishing Company, 1971
ISBN07204225829780720422580
URLhttp://books.google.com.hk/books?id=jdfuAAAAMAAJ&hl=&source=gbs_api
註釋Provability, Computability and Reflection.