DRSML
Library Management System
SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES
RECORD DETAIL
Back To Previous
Back To Previous
Title | Formal number theory and computability |
Edition | |
Call Number | 511.3 FIS |
ISBN/ISSN | 0-19-853188-5 |
Author(s) | Fisher, Alec - Personal Name |
Subject(s) | Logic, Symbolic And Mathematical |
Classification | 511.3 |
Series Title | GMD | Text |
Language | English |
Publisher | Clarendon Press |
Publishing Year | 1982 |
Publishing Place | Oxford |
Collation | xiii, 190p |
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