The Theory of Choice Sequences.by A. S. Troelstra; B. van Rootselaar; J. F. Staal
- 期刊名称The Journal of Symbolic Logic
- 作者Review by: R. E. Vesley
- 卷第38卷
- 期第2期
- 印刷ISSN0022-4812
- 文件大小89.28KB
- 发表时间1973-06
- DOI10.2307/2272087
Historia Mathematica: 25 Years/Context and ContentJoseph W. Dauben · 1999
New editors named for Historia MathematicaEberhard Knobloch; Helena Pycior · 1985
Historia MathematicaThe Journal of Symbolic Logic · 1973
Luncheon and symposium: 20 years of Historia Mathematica1992
A message to readers of Historia MathematicaJoseph W Dauben · 1992
French revolution and mathematicsKastanis, Nikos. 1990. Historia Mathematica17(3), 267Historia Mathematica · 1991
Letter to the editors of the journal Historia MathematicaKnobloch, Eberhard · Historia Mathematica · 2017
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