Formalizing Probability Concepts in a Type Theory
- 期刊名称Journal of Mathematics and Statistics
- 作者Kachapova, Farida
- 卷第14卷
- 期第1期
- 印刷ISSN1549-3644
- 文件大小1551.72KB
- 发表时间2018-01-01
- DOI10.3844/jmssp.2018.209.218
- 页码209-218
Mark Twain and FishingGary Scharnhorst · 2003
Mark Twain and Julian HawthorneSCHARNHORST, GARY · The Mark Twain Annual · 2012
ADDITIONAL THOREAU REVIEWS AND COMMENT, 1849—1856Gary Scharnhorst · The Thoreau Society Bulletin · 1988
ADDENDA TO THE THOREAU BIBLIOGRAPHY, 1855—1895Gary Scharnhorst · The Thoreau Society Bulletin · 1985
"ADDITIONAL THOREAU REVIEWS AND COMMENT", 1849—1854Gary Scharnhorst · The Thoreau Society Bulletin · 1988
FIVE UNCOLLECTED CONTEMPORARY REVIEWS OF "WALDEN"Gary Scharnhorst · The Thoreau Society Bulletin · 1982
"A Day at Concord"Gary Scharnhorst · The Thoreau Society Bulletin · 1992
Longfellow as a TranslatorScharnhorst, Gary · Translation Review · 1983
<i>Literary Orientalism: A Companion</i> (review)Geoffrey Nash, · The Byron Journal · 2009
The International Byron SocietyThe Byron Journal · 1980
Index to AdvertisersThe Byron Journal · 1983
Implora PaceMarchand, Leslie · The Byron Journal · 1989
Index to AdvertisersThe Byron Journal · 1996
Book ReviewsThe Byron Journal · 2011
<i>The Byron Journal</i> at FortyBeatty, Bernard · The Byron Journal · 2012
Index to Volume 40The Byron Journal · 2012