Handbook of proof theory

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

811 p.;:23 cm.

Search Same Author