Arithmetic, proof theory, and computational complexity
著者
書誌事項
Arithmetic, proof theory, and computational complexity
（Oxford logic guides, 23）
Clarendon Press, 1993
大学図書館所蔵 全41件
注記
Includes references
Arithmetic, proof theory, and computational complexity
（Oxford logic guides, 23）
Clarendon Press, 1993
Includes references