Computability: Computable Functions, Logic, and the Foundations of Mathematics/ Richard L. Epstein, Walter A. Carnielli; with Computability and Undecidability - A Timeline: The story of the development of computable functions and the undecidability of arithmetic to 1970/ Richard L. Epstein
Wadsworth, 1999, Belmont, CA
, (carte) [xiv], 299, 38p., ISBN 0-534-54644-7
Topics (ro): logica - matematica - sec.XX; filosofia matematicii - sec.XX; matematica - filosofie - logica; logica simbolica - logica matematica Topics (en): logic - mathematics - 20th century; philosophy of mathematics - 20th century; mathematics - philosophy - logic; symbolic logic - mathematical logic | | Position: Aa.2-EPS
UDC: 16:51
Reviews: Google, Amazon (UK,DE,FR), Barnes&Noble, BibNat, BCU, WorldCat, LOC |
|