IMSc Library catalog › Details for: Methods in mathematical logic :

Normal view MARC view ISBD view

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 /

Contributor(s): Di Prisco, C. AMaterial type: Text

TextSeries: Lecture notes in mathematics (Springer-Verlag) ; 1130.Publication details: Berlin New York Springer-Verlag, c1985Description: vii, 407 pISBN: 0387152369Subject(s): Logic, Symbolic and mathematical | 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		54111

Previous								Next
Previous	51 LNM Recent mathematical methods in dynamic programming :	51 LNM Singularities and constructive methods for their treatment :	51 LNM Numerical methods in fluid dynamics :	51 LNM Methods in mathematical logic :	51 LNM Weighted energy methods in fluid dynamics and elasticity /	51 LNM Number theory :	51 LNM Quantum probability and applications II :	Next