中南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Proof theory / Gaisi Takeuti.

版本说明:

2nd ed.

出版发行项:

Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987.

ISBN:

0444879439 (U.S.)

载体形态项:

x, 490 p. ; 23 cm.

丛编题名:

Studies in logic and the foundations of mathematics ; v. 81

个人责任者:

Takeuti, Gaisi, 1926-

论题主题:

Proof theory.

中图法分类号:

O141.2

一般附注:

Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968.

书目附注:

Includes bibliographical reference( p. 481-485)and index.

豆瓣简介：