Handbook of proof theory

Author：edited by Samuel R. Buss.
Publisher：Elsevier
ISBN：0444898409 :
Publication Date：1998
其他作者：Buss, Samuel R.
語言：eng
出版地：New York :
Description

811 p. ;:23 cm.

Search Same Author