ببليوغرافيا الكتب الإنجليزية
فهرسة أكثر من أربعة ملايين وثلاثمائة ألف كتاب باللغة الإنجليزية مع ترجمة العنوان واسم المؤلف للغة العربية
Computability / Richard L. Epstein
Arabic Title : | المحاسبة: وظائف محسوبة، منطق، وتأسيس الرياضيات، مع حسابية - جدول زمني |
BNB number : | GB99W9780 |
Date published : | 1999 |
Has extent : | 337p. |
Has note on contents : | Bibliography. |
ISBN : | 0534546447 |
ISBN10 : | 0534546447 |
Author : | Epstein, Richard L. |
Title : | Computability : computable functions, logic, and the foundations of mathematics, with Computability - a timeline |
Contributor : | Carnielli Walter A. (Walter Alexandre) |
Subject : | Computable functions Logic Symbolic and mathematical 511.3 |
Creator : | Epstein, Richard L. |
Has carrier type : | volume |
Has content type : | text |
Has media type : | unmediated |
Description : | Includes index. |
Identifier : | http://bnb.data.bl.uk/id/resource/GB99W9780 |
Language : | http://lexvo.org/id/iso639-3/eng |
Publication : | Belmont, Calif. ; London : Wadsworth, 1999 |
Url : | http://bnb.data.bl.uk/id/resource/011017996 |