Our readers write …
- 作者Vinayak Jagadish
- 卷第12卷
- 期第12期
- 印刷ISSN0971-8044
- 电子ISSN0973-712X
- 文件大小176.03KB
- 发表时间2007-12
- DOI10.1007/s12045-007-0129-8
- 页码78-78
Gödel’s proofS M Srivastava · 2007
Gödel’s proofS M Srivastava · 2007
Automated search for Gödel’s proofsWilfried Sieg; Clinton Field · 2005
Fundamentals of Ontological Commitment || 17. Gödel’s ProofValore, Paolo · 2016
The Development of Gödel’s Ontological ProofKanckos, Annika; Lethen, Tim · The Review of Symbolic Logic · 2019
The lengths of proofs: Kreisel’s conjecture and Gödel’s speed-up theoremS. Cavagnetto · 2009
A Mechanised Proof of Gödel’s Incompleteness Theorems Using Nominal IsabellePaulson, Lawrence C. · Journal of Automated Reasoning · 2015
Book ReviewsSharma, S. L.; Prasad, Rajeshwar; Abraham, C. M.; Abraham, C. M.; Srivastava, H. C.; Srivastava, C.; Lal, Sheo Kumar; Aurora, G. S.; Aurora, S.; Gangrade, K. D.; Upreti, H. C.; Chaturvedi, H. R.; Haq, Ehsanul; Sharma, K. N.; Srivastava, R. K. · Sociological Bulletin · 1977
Anti-reflection In2O3 nanocones for silicon solar cellsPrathap, P.; Dahiya, A.S.; Srivastava, M.; Srivastava, S.K.; Sivaiah, B.; Haranath, D.; Vandana, ; Srivastava, Ritu; Rauthan, C.M.S.; Singh, P.K. · Solar Energy · 2014
Evaluation of uroprotective efficacy of amifostine against cyclophosphamide induced hemorrhagic cystitisSrivastava, A; Nair, S C; Srivastava, V M; Balamurugan, A N; Jeyaseelan, L; Chandy, M; Gunasekaran, S · 1999
ANX7, a candidate tumor suppressor gene for prostate cancerSrivastava, M.; Bubendorf, L.; Srikantan, V.; Fossom, L.; Nolan, L.; Glasman, M.; Leighton, X.; Fehrle, W.; Pittaluga, S.; Raffeld, M.; Koivisto, P.; Willi, N.; Gasser, T. C.; Kononen, J.; Sauter, G.; Kallioniemi, O. P.; Srivastava, S.; Pollard, H. B. · Proceedings of the National Academy of Sciences · 2001
ERG rearrangement and protein expression in the progression to castration-resistant prostate cancerGsponer, J R; Braun, M; Scheble, V J; Zellweger, T; Bachmann, A; Perner, S; Vlajnic, T; Srivastava, M; Tan, S-H; Dobi, A; Sesterhenn, I A; Srivastava, S; Bubendorf, L; Ruiz, C · Prostate Cancer and Prostatic Disease · 2014
FERC's Impact on Electric UtilitiesZhang, S.; Morcos, M.M.; Gubanski, S.M.; Srivastava, K.D. · 2001
Interleukin-35 Is Present In Human MilkSrivastava, M.D.; Srivastava, B.I.S.; Ambrus, J.L. · Journal of Allergy and Clinical Immunology · 2012
Radiative Impact of Fireworks at a Tropical Indian Location: A Case StudySingh, B. P.; Srivastava, A. K.; Tiwari, S.; Singh, S.; Singh, R. K.; Bisht, D. S.; Lal, D. M.; Singh, A. K.; Mall, R. K.; Srivastava, Manoj K. · Advances in Meteorology · 2014