Gilman's Manuscript of "The Yellow Wall-Paper": Toward a Critical Edition
- 期刊名称Studies in Bibliography
- 作者Shawn St. Jean
- 卷第51卷
- 印刷ISSN0081-7600
- 文件大小1568.62KB
- 发表时间1998
- DOI10.2307/40372055
- 页码259-273
An intuitionistic proof of Kruskal’s theoremWim Veldman · Archive for Mathematical Logic · 2004
IN MEMORIAM: WALTER (WOUTER) VAN STIGT (1927–2015)Veldman, Wim · The Bulletin of Symbolic Logic · 2017
Two simple sets that are not positively BorelWim Veldman · 2005
Some Elementary Results in Intutionistic Model TheoryWim Veldman and Frank Waaldijk · The Journal of Symbolic Logic · 1996
An Intuitionistic Completeness Theorem for Intuitionistic Predicate LogicWim Veldman · The Journal of Symbolic Logic · 1976
A constructive converse of the mean value theoremBas Spitters; Wim Veldman · 2000
An intuitiomstic completeness theorem for intuitionistic predicate logicVeldman, Wim · The Journal of Symbolic Logic · 1976
THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHYVELDMAN, WIM · The Review of Symbolic Logic · 2009
Computability and λ-DefinabilityA. M. Turing · The Journal of Symbolic Logic · 1937
Definability and Decision Problems in ArithmeticJulia Robinson · The Journal of Symbolic Logic · 1949
Arithmetical Problems and Recursively Enumerable PredicatesMartin Davis · The Journal of Symbolic Logic · 1953
The Interpretability Logic of Peano ArithmeticAlessandro Berarducci · The Journal of Symbolic Logic · 1990
Steps Toward a Constructive NominalismNelson Goodman and W. V. Quine · The Journal of Symbolic Logic · 1947
A Completeness Theorem in Modal LogicSaul A. Kripke · The Journal of Symbolic Logic · 1959
Models and RealityHilary Putnam · The Journal of Symbolic Logic · 1980
A Theory of Restricted Quantification ITheodore Hailperin · The Journal of Symbolic Logic · 1957