Normal view MARC view ISBD view

Proof theory Gaisi Takeuti.

By:

Material type: Text

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
Books	Department of Mathematics	510.2 TAK (Browse shelf(Opens below))	1	Available		MAT00521

Previous	No cover image available	No cover image available	No cover image available	No cover image available		No cover image available	No cover image available	Next
Previous	510.2 MAL Metamathematics of algebraic systems /	510.2 RIZ Mathematical foundations.	510.2 SOM Method of mathematical induction /	510.2 TAK Proof theory	510.2 TAY Understanding mathematical proof /	510.2 VIJ Foundations of mathematics.	510.2 WHI The power of relevant mathematics :	Next

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

Includes index.

There are no comments on this title.

to post a comment.