Mathematical logic for computer science M. Ben-Ari
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 013564139X
- QA9.B3955 1993
![](/opac-tmpl/bootstrap/itemtypeimg/bridge/book.png)
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
![]() |
المكتبة الرئيسية الطابق الثاني أ | QA9.B3955 1993 (Browse shelf(Opens below)) | 1 | Available | E72922 c.1. |
Browsing المكتبة الرئيسية shelves, Shelving location: الطابق الثاني أ Close shelf browser (Hides shelf browser)
QA8.7.N4 1991 New applications of mathematics | QA9.A5F3 1979 المنطق الرياضي | QA9.B29 Admissible sets and structures : an approach to definability theory | QA9.B3955 1993 Mathematical logic for computer science | QA9.B68 Logic and arithmetic | QA9.B68 Logic and arithmetic | QA9.B847 Mathematical fallacies and paradoxes / |
Includes bibliographical references and index
There are no comments on this title.
Log in to your account to post a comment.