---

＜図書＞
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajicek
(Oxford logic guides ; 23)

出版者	Oxford, England : Clarendon Press
出版年	1993
大きさ	xii, 428 p. : port. ; 25 cm
著者標目	Clote, Peter Krajicek, Jan
件　名	Proof theory Computational complexity Arithmetic
一般注記	Includes references

 類似資料