海量图书期刊资源,随时随地畅享阅读乐趣
[Lecture Notes in Mathematics] Cambridge Summer School in Mathematical Logic Volume 337 || Infinitary combinatoricsMathias, A. R. D.; Rogers, H. · 1973
[Lecture Notes in Mathematics] Cambridge Summer School in Mathematical Logic Volume 337 || Lectures on intuitionismMathias, A. R. D.; Rogers, H. · 1973
[Lecture Notes in Mathematics] Cambridge Summer School in Mathematical Logic Volume 337 || Modal model theoryMathias, A. R. D.; Rogers, H. · 1973
[Lecture Notes in Mathematics] Cambridge Summer School in Mathematical Logic Volume 337 || Realizability: A retrospective surveyMathias, A. R. D.; Rogers, H. · 1973
[Lecture Notes in Mathematics] Cambridge Summer School in Mathematical Logic Volume 337 || On descendingly complete ultrafiltersMathias, A. R. D.; Rogers, H. · 1973
[Lecture Notes in Mathematics] Cambridge Summer School in Mathematical Logic Volume 337 || A preservation theorem for interpretationsMathias, A. R. D.; Rogers, H. · 1973
[Lecture Notes in Mathematics] Cambridge Summer School in Mathematical Logic Volume 337 || The arithmetic theory of constructionsMathias, A. R. D.; Rogers, H. · 1973
[Lecture Notes in Mathematics] Cambridge Summer School in Mathematical Logic Volume 337 || Admissible ordinals and priority argumentsMathias, A. R. D.; Rogers, H. · 1973