000 00320nam a2200121Ia 4500
008 170104s2017 xx 000 0 und d
100 _aS M Srivastava
245 0 _aGodel's Proof:Semantics of First Order Theroy and Hilbert's Proram
260 _cMarch 2007
300 _a35
773 _tResonance
942 _2ddc
_cJA
999 _c720499
_d720499