01842nam a22004097a 4500
3192821
Ge_NSL
20160524124448.0
160524s1977 nl ||||| |||| 00| 0 eng d
77007366
0720407524
DLC
DLC
DLC
eng
QA9.4
.L37 1976
517.11
511/.8
Latin-American Symposium on Mathematical Logic,
3rd,
State University of Campinas,
1976.
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.
Amsterdam ;
New York :
North-Holland Pub. Co. ;
New York :
sale distributors for the U.S.A. and Canada, Elsevier/North-Holland,
1977.
xviii, 307 p. :
ill. ;
23 cm.
Studies in logic and the foundations of mathematics ;
v. 89
Errata slip inserted.
Includes bibliographies.
Nonclassical mathematical logic
Congresses.
Model theory
Congresses.
Computable functions
Congresses.
მათემატიკა
არაკლასიკური მათემატიკური ლოგიკა
მოდელირების თეორია
გამოთვლითი ფუნქციები
კონგრესები
Arruda, Ayda I.
რედაქტორი
Costa, Newton C. A. da.
რედაქტორი
23656
Chuaqui, R.
რედაქტორი
7
cbc
orignew
1
ocip
19
y-gencatlg
udc
BK
0
0
udc
0
0
teq
teq
techsacavi
2016-05-24
0
517.11
2016-19280
2016-05-24 00:00:00
И 489
2016-05-24
BK
58783
58783