Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 / edited by C.A. Di Prisco.
Material type: TextSeries: Publication details: Berlin ; New York : Springer-Verlag, c1985.Description: vii, 407 p. ; 25 cmISBN:- 0387152369 (U.S. : pbk.)
- 3540152369
- 511.3 22
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books | Central Library, SUST General Stacks | 511.3 MET (Browse shelf(Opens below)) | 1 | Available | 0052237 | |
Books | Central Library, SUST General Stacks | 511.3 MET (Browse shelf(Opens below)) | 2 | Available | 0049794 | |
Books | Central Library, SUST General Stacks | 511.3 MET (Browse shelf(Opens below)) | 3 | Available | 0049795 | |
Books | Central Library, SUST General Stacks | 511.3 MET (Browse shelf(Opens below)) | 4 | Available | 0049791 | |
Books | Central Library, SUST General Stacks | 511.3 MET (Browse shelf(Opens below)) | 5 | Available | 0049792 | |
Books | Central Library, SUST General Stacks | 511.3 MET (Browse shelf(Opens below)) | 6 | Available | 0049793 |
Browsing Central Library, SUST shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
511.3 LEE Elements of the theory of computation / | 511.3 MET Methods in mathematical logic : | 511.3 MET Methods in mathematical logic : | 511.3 MET Methods in mathematical logic : | 511.3 MET Methods in mathematical logic : | 511.3 MET Methods in mathematical logic : | 511.3 MET Methods in mathematical logic : |
Sponsored by Asociaci�on Venezolana para el Avance de la Ciencia (AsoVAC) ... et al.
Includes bibliographies.
There are no comments on this title.