Arithmetic, proof theory, and computational complexity

書誌事項

Arithmetic, proof theory, and computational complexity

edited by Peter Clote and Jan Krajíček

(Oxford logic guides, 23)

Clarendon Press, 1993

この図書・雑誌をさがす
注記

Includes references

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ