ببليوغرافيا الكتب الإنجليزية
فهرسة أكثر من أربعة ملايين وثلاثمائة ألف كتاب باللغة الإنجليزية مع ترجمة العنوان واسم المؤلف للغة العربية
Computability / Richard L. Epstein
| Arabic Title : | الحوسبة: الدوال الحسابية والمنطق وأسس الرياضيات |
| BNB number : | GBA226036 |
| Date published : | 2000 |
| Has extent : | 299, 38 p. |
| Has note on contents : | Includes: Computability and undecidability _ a timeline : the story of the development of computable functions and the undecidability of arithmetic to 1970 / Richard L. Epstein. |
| ISBN : | 0534546447 |
| ISBN10 : | 0534546447 |
| Author : | Epstein, Richard L. |
| Title : | Computability : computable functions, logic, and the foundations of mathematics |
| Contributor : | Carnielli Walter A. (Walter Alexandre) |
| Subject : | Computable functions 511.3 Gödel's theorem Logic Symbolic and mathematical |
| Creator : | Epstein, Richard L. |
| Has carrier type : | volume |
| Has content type : | text |
| Has media type : | unmediated |
| Description : | Previous ed.: Pacific Grove, Calif. : Wadsworth & Brooks/Cole Advanced Books & Software, 1989., One sheet, 71 x 46 cm folded to 24 x 19 cm., as insert. |
| Identifier : | http://bnb.data.bl.uk/id/resource/GBA226036 |
| Language : | http://lexvo.org/id/iso639-3/eng |
| Publication : | Belmont, Calif. : Wadsworth/Thomson Learning ; London : Thomson Learning, c2000 |
| Url : | 006728890 |
