000 01002n a2200301#a 4500
001 2571
005 20231124162600.0
008 710701s1970 maua b 001 0 eng
010 _a69012759 //r852
020 _a0262190540
035 _aocm00147872
035 _aRecord 05409
040 _aDLC
_cDLC
041 1 _aengrus
049 _aP5AA
082 0 4 _a511.3
_bS876i
090 _alf2
100 1 _aStolyar, A. A.
_q(Abram Aronovich)
_939928
240 1 0 _aStolyar, A. A.
_lEnglish
245 1 0 _aIntroduction to elementary mathematical logic/
_c[by] Abram Aronovich Stolyar; translation edited by Elliott Mendelson. [Translated by Scripta Technica, Inc.]
260 _aCambridge, Mass.:
_bMIT Press,
_c[c1970].
300 _avii, 209 p.:
_billus.,
_c21 cm.
504 _aBibliography: p. 200.
650 0 4 _aLogic, Symbolic and mathematical.
_99813
697 _aLógica e Fundamentos 02-
_xLógica Matemática e Funções Recursivas.
_923728
942 _2impa
_cBK
999 _c3739
_d3739