|
|
|
|
| LEADER |
01334nam a2200289 i 4500 |
| 001 |
c000303251 |
| 003 |
CARM |
| 005 |
00000000000000.0 |
| 008 |
840229s1977 vp 0 eng d |
| 019 |
1 |
|
|a 860130
|z 40261054
|5 LACONCORD2021
|
| 020 |
|
|
|a 0720407524
|
| 035 |
|
|
|a (OCoLC)2964743
|5 LACONCORD2021
|
| 082 |
0 |
4 |
|a 511/.8
|
| 111 |
2 |
|
|a Latin-American Symposium on Mathematical Logic
|n (3rd :
|d 1976 :
|c State University of Campinas)
|
| 245 |
1 |
0 |
|a Non-classical logics, model theory, and computability :
|b proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
|c edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui.
|
| 260 |
|
|
|a Amsterdam ;
|a New York :
|b North-Holland Pub. Co. ,
|c 1977.
|
| 300 |
|
|
|a 307p.
|
| 490 |
0 |
|
|a Studies in logic and the foundations of mathematics ;
|v v. 89
|
| 650 |
|
0 |
|a Nonclassical mathematical logic
|x Congresses.
|
| 650 |
|
0 |
|a Model theory
|x Congresses.
|
| 650 |
|
0 |
|a Recursive functions
|x Congresses.
|
| 700 |
1 |
|
|a Arruda, A. I.
|q (Ayda Ignez)
|
| 700 |
1 |
|
|a Costa, Newton C. A. da.
|
| 700 |
1 |
|
|a Chuaqui, R.
|
| 852 |
8 |
|
|b CARM
|h A1:AQ18B0
|i B10556
|p 0332612
|f BK
|
| 999 |
f |
f |
|i 46abf306-7ae1-56dd-ad85-6e6045f2fd40
|s 52a9ebd1-a784-5ce9-af29-b2fc4d6d6774
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e B10556
|f A1:AQ18B0
|h Other scheme
|i book
|m 0332612
|