Two new Lecanora species from India
- 期刊名称The Lichenologist
- 作者NAYAKA, Sanjeeva; UPRETI, D. K.; LUMBSCH, H. Thorsten
- 卷第38卷
- 期第5期
- 印刷ISSN0024-2829
- 电子ISSN1096-1135
- 文件大小183.39KB
- 发表时间2006-9
- DOI10.1017/s0024282906005731
An Extension of “Fitch's rules”David F. Siemens JR. · 1961
The mathematics of the honeycombDavid F. Siemens Jr. · The Mathematics Teacher · 1965
OF BEES AND MATHEMATICIANSDavid F. Siemens Jr. · The Mathematics Teacher · 1967
Fitch-style rules for many modal logics.Siemens, David F. · Notre Dame Journal of Formal Logic · 1977
Logic: Modern and Traditional.by Henry J. EhlersReview by: David F. Siemens, Jr. · The Journal of Symbolic Logic · 1977
Choice and Chance. An Introduction to Inductive Logic.by Brian SkyrmsReview by: David F. Siemens, Jr. · The Journal of Symbolic Logic · 1976
Hierarchical follow-up of subthreshold candidates of an all-sky Einstein@Home search for continuous gravitational waves on LIGO sixth science run dataPapa, Maria Alessandra; Eggenstein, Heinz-Bernd; Walsh, Sinéad; Di Palma, Irene; Allen, Bruce; Astone, Pia; Bock, Oliver; Creighton, Teviet D.; Keitel, David; Machenschalk, Bernd; Prix, Reinhard; Siemens, Xavier; Singh, Avneet; Zhu, Sylvia J.; Schutz, Bernard F. · Physical Review D · 2016
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