00736nam 2200217 450 2112846http://id.bnportugal.gov.pt/bib/porbase/21128460-12-206382-1UALLC_BC_126.iso/16-03-2009/1591120020207d1994 k y0pory0103 baengUSAComputability, complexity, and languagesfundamentals of theoretical computer scienceMartin D. Davis...[et al.]Second editionSan FranciscoMorgan Kaufmanncop. 1994609 p24 cmComputer science and scientific computing004.42BNporDavisMartin D.070SigalRon070WeyukerElaine J.070PTUALLCRPC