Theory and applications of computability

Related materials as well as pre- and post-revision versions

Search by Bookstore

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: Theory and applications of computability
Publication, Distribution, etc.: Springer Science+Business Media
Place of Publication (Country Code): us
Target Audience: 一般
Related Material: The incomputable : journeys beyond the turing barrier
https://cir.nii.ac.jp/crid/1130000795999561856
Handbook of computability and complexity in analysis
https://cir.nii.ac.jp/crid/1130007425204269696
Apartness and uniformity : a constructive development
https://cir.nii.ac.jp/crid/1130282269885451648
Algorithmic randomness and complexity
https://cir.nii.ac.jp/crid/1130282271656271360
Turing computability : theory and applications
https://cir.nii.ac.jp/crid/1130282272417996672
Higher-order computability
https://cir.nii.ac.jp/crid/1130282273253213952
Reverse mathematics : problems, reductions, and proofs
https://cir.nii.ac.jp/crid/1130293391173404441
Reverse mathematics : problems, reductions, and proofs
https://cir.nii.ac.jp/crid/1130861140181068931
Related Material (URI): https://ci.nii.ac.jp/ncid/BB04091064#entity
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BB04091064 : BB04091064