- Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.details
|
|
A survey of proof theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.details
|
|
Reviews. J. Ritter. Vorwort. Mathesis universalis; Abhandlungen zur Philosophie als strenger Wissenschaft, by Heinrich Scholz, edited by Hans Hermes, Friedrich Kambartel, and Joachim Ritter, Benno Schwabe & Co. Verlag, Basel and Stuttgart 1961, pp. 7–16. [REVIEW]G. Kreisel - 1963 - Journal of Symbolic Logic 28 (4):283-288.details
|
|
Über eine bisher noch nicht benützte erweiterung Des finiten standpunktes.Von Kurt Gödel - 1958 - Dialectica 12 (3‐4):280-287.details
|
|
(2 other versions)Reviews. Kurt Schütte. Beweistheorie. Springer-Verlag, Berlin-Göttingen-Heidelberg 1960, X + 355 pp. [REVIEW]Georg Kreisel - 1960 - Journal of Symbolic Logic 25 (3):243-249.details
|
|
(1 other version)Functionals defined by transfinite recursion.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):155-174.details
|
|
The substitution method.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):175-192.details
|
|
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis.W. A. Howard & G. Kreisel - 1966 - Journal of Symbolic Logic 31 (3):325-358.details
|
|
On axiomatizability within a system.William Craig - 1953 - Journal of Symbolic Logic 18 (1):30-32.details
|
|
(2 other versions)The Ω-consistency of ramified analysis.Charles Parsons - 1962 - Archive for Mathematical Logic 6 (1-2):30-34.details
|
|
1 — Consistency and faithful interpretations.S. Feferman, G. Kreisel & S. Orey - 1962 - Archive for Mathematical Logic 6 (1-2):52-63.details
|
|
(1 other version)Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.details
|
|
Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes.Kurt Gödel - 1958 - Dialectica 12 (3):280.details
|
|
Mathesis universalis abhandlungen zur philosophie ats strenger wissenschaft.H. Hermes, F. Hambartel & J. Ritter - 1963 - Journal of Symbolic Logic 28 (4):283-288.details
|
|