Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui.
By: Latin-American Symposium on Mathematical Logic State University of Campinas, 1976.
Contributor(s): Arruda, Ayda I [რედაქტორი] | Costa, Newton C. A. da [რედაქტორი]
| Chuaqui, R [რედაქტორი].
Material type: 
TextSeries: Studies in logic and the foundations of mathematics ; v. 89. Publisher: Amsterdam ; New York : New York : North-Holland Pub. Co. ; sale distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1977Description: xviii, 307 p. : ill. ; 23 cm.ISBN: 0720407524.Subject(s): Nonclassical mathematical logic -- Congresses | Model theory -- Congresses | Computable functions -- Congresses | მათემატიკა | არაკლასიკური მათემატიკური ლოგიკა | მოდელირების თეორია | გამოთვლითი ფუნქციები | კონგრესებიDDC classification: 511/.8 LOC classification: QA9.4 | .L37 1976
| Item type | Current location | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
წიგნი
|
ეროვნული სამეცნიერო ბიბლიოთეკა 2 კორპ. 2, საცავი | 517.11 (Browse shelf) | И 489 | Available | 2016-19280 |
Errata slip inserted.
Includes bibliographies.
There are no comments for this item.