Handbook of proof theory

作者：edited by Samuel R. Buss.
出版社：Elsevier
ISBN：9780444898401 (electronic bk.) ; 9780444898401
出版日期：1998
其他作者：Buss, Samuel R.
語言：eng
出版地：New York :
內容簡介

811 p.;:23 cm.

搜尋同作者