[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 7406 || Computer-Aided Cryptographic Proofs
- 作者Beringer, Lennart; Felty, Amy
- 文件大小283.39KB
- 发表时间2012
- DOI10.1007/978-3-642-32347-8_2
- 页码11-27
Women in New ReligionsCrowley, Vivianne · Journal of Beliefs & Values · 1998
Book reviewsDiesel, Alleyn; Ionescu, Sanda; Harvey, Graham; McKay, Stephen; Hutton, Ronald; Carr, Wesley; Droogers, André; Crowley, Vivianne; Arthur, Chris; Byrne, Peter; Markham, Ian; King, Christine; Norman, Edward; Landres, Shawn; Flanagan, Kieran; Richter, Philip; Jennings, William H.; Andrews, Ahmed; Richards, Norman; Lewis, Philip · Journal of Contemporary Religion · 1997
Book reviewsFulton, John; Howes, Graham; D'Costa, Gavin; Hummel, Reinhart; Crowley, Vivianne; Machacek, David W.; Percy, Martyn; Martin, David; Droogers, André; Grenfell, James; Corten, André; Gabriel, Theodore; Pitzer‐Reyl, Renate; Hase, Thomas; Young, Wendy W.; Rose, Stuart; King, Christine E.; Savory, Joanna; Jupp, Peter; Al‐Rasheed, Madawi; Williams, Alan; Harris, Elizabeth J.; Matsunaga, Louella; Levitt, Mairi · Journal of Contemporary Religion · 1998
Bakhtin and HesychasmRuth Coates · Religion & Literature · 2005
Theological Trends of Postmodern FictionRobert Detweiler · Journal of the American Academy of Religion · 1976
Christ in American Religious FictionRobert Detweiler · Journal of Bible and Religion · 1964
Mysticism and CommunismAlfred Stiernotte · Journal for the Scientific Study of Religion · 1967
Origin and Types of ExistentialismJakob Amstutz · The Journal of Religion · 1961
[untitled]Review by: H. Martin Rumscheidt · Journal of the American Academy of Religion · 1979
The Being That Knew Too MuchPatrick Grim · International Journal for Philosophy of Religion · 2000
Mysticism and IneffabilityPeter C. Appleby · International Journal for Philosophy of Religion · 1980