Course in mathematical logic
暂无分享,去创建一个
Provability - introduction to formal languages truth and deducibility the continuum problem and forcing the continuum problem and constructible sets computability - recursive functions and Church's thesis diophantine sets and algorithmic undecidability provability and computability Goedel's incompleteness theorem recursive groups.
[1] Steven Buechler. ESSENTIAL STABILITY THEORY (Perspectives in Mathematical Logic) , .
[2] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .
[3] D. C. Cooper,et al. Theory of Recursive Functions and Effective Computability , 1969, The Mathematical Gazette.