Hilbert, Logicism, and Mathematical Existence
- 期刊名称Synthese
- 作者José Ferreirós
- 卷第170卷
- 期第1期
- 印刷ISSN0039-7857
- 电子ISSN1573-0964
- 文件大小4972.58KB
- 发表时间2009-09
- DOI10.2307/40271343
- 页码33-70
Computations in fragments of intuitionistic propositional logicDick De Jongh; Lex Hendriks; Gerard R. Renardel De Lavalette · 1991
Extended bar induction in applicative theoriesGerard R. Renardel de Lavalette · 1990
Descriptions in mathematical logicGerard R. Renardel; de Lavalette · Studia Logica · 1984
Descriptions in Mathematical LogicGerard R. Renardel de Lavalette · Studia Logica: An International Journal for Symbolic Logic · 1984
Interpolation in Fragments of Intuitionistic Propositional LogicGerard R. Renardel de Lavalette · The Journal of Symbolic Logic · 1989
Interpolation in fragments of intuitionistic propositional logicde Lavalette, Gerard R. Renardel · The Journal of Symbolic Logic · 1989
Interpolation in computing science: the semantics of modularizationGerard R. Renardel de Lavalette · 2008
Philosophical materialismColin McGinn · Synthese · 1980
Dispositions, logical states, and mental occurrentsRonald C. Hoy · Synthese · 1980
A probabilistic causal calculus: Conflicting conceptionsJames H. Fetzer; Donald E. Nute · Synthese · 1980
ReviewKeith Campbell · Synthese · 1980
Probability as a theoretical conceptLawrence Sklar · Synthese · 1979
Tyche and AthenaHenry E. Kyburg · Synthese · 1979
Propensity and necessityRonald N. Giere · Synthese · 1979
Books and journals receivedSynthese · 1979