Handbook of proof theory

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

811 p. ;:23 cm.

搜尋同作者