DRSML
Library Management System
SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES
RECORD DETAIL
Back To Previous
Back To Previous
Title | Computability and logic |
Edition | |
Call Number | 511.3 BOO |
ISBN/ISSN | 0-521-20402-x |
Author(s) | Boolos, George - Personal Name Jeffrey, Richard - Personal Name |
Subject(s) | Logic, Symbolic And Mathematical Recursive Functions Computable Functions |
Classification | 511.3 |
Series Title | GMD | Text |
Language | English |
Publisher | Cambridge University Press |
Publishing Year | 1974 |
Publishing Place | Cambridge |
Collation | x, 262p |
Abstract/Notes | |
Specific Detail Info | |
Image | |
File Attachment | LOADING LIST... |
Availability | LOADING LIST... |
Back To Previous |
Select Language
Advanced Search
Developed By
Implemented by: Anees ur Rehman