Language:
English
繁體中文
Help
圖資館首頁
Login
Theory and applications of computability, in cooperation with the association computability in Europe,
書目資訊
Higher-order computability
~
Longley, John.
Higher-order computability
by:
Longley, John.
Apartness and uniformitya constructi...
~
Bridges, Douglas S.
Apartness and uniformitya constructive development /
by:
Bridges, Douglas S.
Reverse mathematicsproblems, reductions, and proofs /
by:
Dzhafarov, Damir D.
Programs as diagramsfrom categorical computability to computable categories /
by:
Pavlovic, Dusko.
Processing
...
Change password
Login