Pohlers, Wolfram.

概要

作品:	1 作品在 1 項出版品 1 種語言

書目資訊

Ways of proof theory / by: Pohlers, Wolfram.; Schindler, Ralf-Dieter. (書目-語言資料,印刷品)

Proof theory = the first step into impredicativity / by: Pohlers, Wolfram.; SpringerLink (Online service) (書目-語言資料,印刷品)

主題