MMathematical logicMathematical logicde Davis, MartinMateriasSymbolic and mathematical LogicEdiciones (1)Mathematical logic. (1959)New York University · inglésMás obras de Davis, MartinThe universal computerNa logic ki pogonThe undecidableA