IMSc Library catalog › Details for: Computation and Proof Theory

Normal view MARC view ISBD view

Computation and Proof Theory Proceedings, Logic Colloquium Aachen 1983 Part II

TextSeries: Lecture notes in mathematics (Springer-Verlag) ; 1104.Publication details: Berlin Springer-Verlog 1984Description: 475 pISBN: 038713901XSubject(s): Mathematics

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)

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

Previous								Next
Previous	51 LNM Stochastic aspects of classical and quantum systems :	51 LNM Global analysis :	51 LNM Rational approximation and interpolation :	51 LNM Computation and Proof Theory	51 LNM Stratified mappings--structure and triangulability /	51 LNM Resolution of surface singularities :	51 LNM The precise spectral asymptotics for elliptic operators acting in fiberings over manifolds with boundary /	Next

There are no comments on this title.

to post a comment.