ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by J. Diller and G. H. Müller.

Contributor(s):

Material type: Text

TextLanguage: engger Series: Lecture notes in mathematics (Springer-Verlag) ; 500.Publication details: Berlin ; New York : Springer-Verlag, 1975.Description: viii, 383 pISBN:

Subject(s):

Item type:

BOOKS

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

Average rating: 0.0 (0 votes)

Holdings
Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	51 LNM (Browse shelf(Opens below))		Available		14477

Text in English or German.

Includes bibliographies.

There are no comments on this title.

to post a comment.