000 00624n a2200217ua 4500
003 OSt
020 _a0471095850
040 _cIIT Kanpur
041 _aeng
082 _a519.4
_bB731t
100 _aBrainerd, Walter S.
245 0 _aTheory of computation
_cWalter S. Brainerd and Lawrence H. Landweber
260 _aNew York
_bJohn Wiley
_c1974
300 _axxi,336p
500 _aIncludes bibliographical references and index
650 _aSequential machine theory
650 _aRecursive functions
650 _aProgramming languages (Electronic computers)
700 _aLandweber, Lawrence H.
942 _cBK
999 _c461976
_d461976