海量图书期刊资源,随时随地畅享阅读乐趣
Generic Essence, Objectual Essence, and ModalityFabrice Correia · 2006
IntroductionFabrice Correia; Philipp Keller · 2004
Husserl on FoundationFabrice Correia · 2004
Comments on VarziFabrice Correia · 2005
(Finean) Essence and (Priorean) ModalityFabrice Correia · 2007
Ontological DependenceFabrice Correia · 2008
Propositional Logic of EssenceFabrice Correia · 2000
Semantics for Analytic ContainmentFabrice Correia · Studia Logica · 2004
Compressibility and Kolmogorov ComplexityBinns, Stephen; Nicholson, Marie · Notre Dame Journal of Formal Logic · 2013
Weak Theories of Concatenation and ArithmeticHorihata, Yoshihiro · Notre Dame Journal of Formal Logic · 2012
On Existence in Set TheoryFreire, Rodrigo A. · Notre Dame Journal of Formal Logic · 2012
On Generalizing KolmogorovDietz, Richard · Notre Dame Journal of Formal Logic · 2010
Metalogic of Intuitionistic Propositional CalculusCitkin, Alex · Notre Dame Journal of Formal Logic · 2010
On a family of paradoxes.Prior, A. N. · Notre Dame Journal of Formal Logic · 1961
Degrees of Relative ProvabilityCai, Mingzhong · Notre Dame Journal of Formal Logic · 2012
The Computational Content of Arithmetical ProofsHetzl, Stefan · Notre Dame Journal of Formal Logic · 2012