عنوان

Non-Classical logics, model theory, and compuability : 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 )and( R. Chuaqui

موضوع

، Logic, Symbolic and mathematical,، Model theory,، Recursive functions

رده

QA

9
.
L38

کتابخانه

محل استقرار

استان: طهران ـ شهر: طهران

تماس با کتابخانه : 61112616-66495290-021

37079

English

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

L38

AU I A ,adurrA ed.

AU A C N ,atsoC ad ed.

AU R ,iuqauhC ed.

Latin American Symposium on Mathematical Logic, 3rd, Campinas, Brazil, 1976

ی‌اض‌ه ری‌ه دانشکد‌ان‌ابخ‌کت

عنوان Non-Classical logics, model theory, and compuability : 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 )and( R. Chuaqui

موضوع ، Logic, Symbolic and mathematical,، Model theory,، Recursive functions

رده QA 9 .L38