Higher-order computability [electronic resource] / John Longley, Dag Normann.
2015
QA9.59
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Higher-order computability [electronic resource] / John Longley, Dag Normann.
Author
ISBN
9783662479926 electronic book
3662479923 electronic book
9783662479919
3662479923 electronic book
9783662479919
Published
Heidelberg : Springer, 2015.
Language
English
Description
1 online resource.
Call Number
QA9.59
Dewey Decimal Classification
511.3
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Added Author
Series
Theory and applications of computability.
Linked Resources
Record Appears in