000 00546naa a2200145Ia 4500
003 ES-SlBCS
005 20210601152902.0
008 140519s1977 xxu||||| |||| 00| 0 eng d
041 _aeng
100 0 _aPadoa
_9351754
245 0 0 _aLogical introduction to any deductive theory
_cPadoa
650 4 _aTeoría Deductiva
_9351755
773 0 _tFrom Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort
_b3ª ed.
_dCambridge - London : Harvard University, 1977
_g, págs. 118-124
_z0-674-32449-0
_wVA28641
942 _cAC
999 _c782771
_d782771