- A more perspicuous formal system for predicativity.Solomon Feferman - 1978 - In Kuno Lorenz (ed.), Konstruktionen Versus Positionen: Beiträge Zur Diskussion Um Die Konstruktive Wissenschaftstheorie. Bd 1: Spezielle Wissenschaftstheorie. Bd 2: Allgemeine Wissenschaftstheorie. Paul Lorenzen Zum 60. Geburtstag. New York: De Gruyter. pp. 68-93.details
|
|
(1 other version)Frege Structures and the Notions of Proposition, Truth and Set.Peter Aczel, Jon Barwise, H. Jerome Keisler & Kenneth Kunen - 1986 - Journal of Symbolic Logic 51 (1):244-246.details
|
|
(2 other versions)Systems of Logic Based on Ordinals.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):128-129.details
|
|
(1 other version)Zur Frage der Unendlichkeitsschemata in der Axiomatischen Mengenlehre.Paul Bernays - 1962 - Journal of Symbolic Logic 27 (3):353-354.details
|
|
(1 other version)Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre.Paul Bernays - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 3--49.details
|
|
(1 other version)Frege Structures and the notions of proposition, truth and set.Peter Aczel - 1980 - Journal of Symbolic Logic 51 (1):244-246.details
|
|
Systems of logic based on ordinals..Alan Turing - 1939 - London,: Printed by C.F. Hodgson & son.details
|
|
Believing the axioms. I.Penelope Maddy - 1988 - Journal of Symbolic Logic 53 (2):481-511.details
|
|
Believing the axioms. II.Penelope Maddy - 1988 - Journal of Symbolic Logic 53 (3):736-764.details
|
|
Inner models and large cardinals.Ronald Jensen - 1995 - Bulletin of Symbolic Logic 1 (4):393-407.details
|
|
(1 other version)Systems of predicative analysis, II: Representations of ordinals.Solomon Feferman - 1968 - Journal of Symbolic Logic 33 (2):193-220.details
|
|
Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.details
|
|
Systems of predicative analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.details
|
|
(1 other version)Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.details
|
|
(1 other version)Foundations of Constructive Mathematics.Michael J. Beeson - 1987 - Studia Logica 46 (4):398-399.details
|
|
Foundations of Constructive Mathematics.Michael J. Beeson - 1932 - Springer Verlag.details
|
|
Some Problems and Results relevant to the Foundations of Set Theory.Alfred Tarski & W. Hanf - 1965 - Journal of Symbolic Logic 30 (1):95-96.details
|
|