Non-Classical logics, model theory, and compuability : proceedings of the third Latin-American Symposium on mathematical logic, campinas, Brazil, July 11-17, 1976
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Amsterdam
تاریخ نشرو بخش و غیره
1977
مشخصات ظاهری
نام خاص و کميت اثر
xviii, 307 p. : 22 cm
فروست
عنوان فروست
Studies in logic and foundations of mathematics, 98
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
edited by A.I. Arruda, N.C.A. da Costa )and( R. Chuaqui
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Logic, Symbolic and mathematical
عنصر شناسه ای
، Model theory
عنصر شناسه ای
، Recursive functions
رده بندی کنگره
شماره رده
QA
9
.
L38
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU I A ,adurrA ed.
عنصر شناسه اي
AU A C N ,atsoC ad ed.
عنصر شناسه اي
AU R ,iuqauhC ed.
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شناسه افزوده (تنالگان)
عنصر شناسه اي
Latin American Symposium on Mathematical Logic, 3rd, Campinas, Brazil, 1976