Iterated inductive definitions and subsystems of analysis recent proof-theoretical studies Wilfried Buchholz; Solomon Feferman; Wolfram Pohlers; Wilfried Sieg

By:

Contributor(s):

Subject(s):

DDC classification:

Other classification:

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
Carti	IMAR	510 S 511-BUC (Browse shelf(Opens below))	Available		0031539

Previous								Next
Previous	510 S 511.3-XXX-4 Logic Symposia, Hakone, 1979, 1980 proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980	510 S 511.3-XXX-4 Methods in mathematical logic proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983	510 S 511.3-XXX-4 Recursion theory week proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984	510 S 511-BUC Iterated inductive definitions and subsystems of analysis recent proof-theoretical studies	510 S 511-XXX-1 Numerical analysis, Lancaster, 1984 proceedings of the SERC Summer School, held in Lancaster, England, Jul. 15-Aug. 3, 1984	510 S 512/.22-DON-1 Rational representations of algebraic groups tensor products and filtrations	510 S 512/.22-PLE Group rings of finite groups over p-adic integers	Next

Cuprinde bibliografie si index

There are no comments on this title.

to post a comment.