论文信息 - Meeting of the Association for Symbolic Logic, Chicago, 1977 - 字舞流文

Meeting of the Association for Symbolic Logic, Chicago, 1977

Robert I. Soare | Carl G. Jockusch | Gaisi Takeuti | William W. Tait | R. Soare | W. Tait | C. Jockusch | G. Takeuti

[1] Richard A. Shore,et al. On the jump of an -recursively enumerable set , 1976 .

[2] S. Feferman. Formal Theories for Transfinite Iterations of Generalized Inductive Definitions and Some Subsystems of Analysis , 1970 .

[3] Richard E. Grandy. Advanced Logic for Applications , 1977 .

[4] Harvey M. Friedman. Iterated Inductive Definitions and Σ21-AC , 1970 .

[5] Gerald E. Sacks,et al. POST'S PROBLEM, ADMISSIBLE ORDINALS, AND REGULARITY , 1966 .

[6] Manuel Blum,et al. A Machine-Independent Theory of the Complexity of Recursive Functions , 1967, JACM.

[7] Richard E. Grandy. Anadic logic and English , 2004, Synthese.

[8] W. W. Tait. Applications of the Cut Elimination Theorem to Some Subsystems of Classical Analysis , 1970 .