Normal view MARC view ISBD view

Proof Theory Gaisi Takeuti

By: Takeuti, GaisiMaterial type: Text

TextLanguage: ENG Series: Studies in Logic and the foundations of mathematics ; volume 81Publication details: Amsterdam North-Holland Publishing Company 1975Edition: Description: 372pISBN: 0720422000Subject(s): MathematicsDDC classification: 510

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	Bangalore University Library DL	510 TAK (Browse shelf (Opens below))	Available		184147

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 SUP Logic, Methodology and Philosophy of Science IV	510 SUT Mathematics in Action	510 TAI K Life and Scientific Work of Peter Guthrie Tait	510 TAK Proof Theory	510 TAR B Course of Advanced Mathematics for technical schools	510 TAR B Course of Advanced Mathematics for technical schools	510 TAY Finite Mathematics	Next

There are no comments on this title.

to post a comment.