|
|
|
|
| LEADER |
00000cam a2200000Ma 4500 |
| 001 |
SCIDIR_ocn649907647 |
| 003 |
OCoLC |
| 005 |
20231117032817.0 |
| 006 |
m o d |
| 007 |
cr cn||||||||| |
| 008 |
770420s1977 ne a ob 100 0 eng d |
| 010 |
|
|
|z 77007366
|
| 040 |
|
|
|a E7B
|b eng
|e pn
|c E7B
|d OCLCQ
|d OPELS
|d OCLCQ
|d N$T
|d OPELS
|d OCLCF
|d YDXCP
|d OCL
|d OCLCQ
|d DEBSZ
|d SOI
|d LEAUB
|d OCLCQ
|d INARC
|d OCLCO
|d COM
|d OCLCO
|d OCLCQ
|
| 019 |
|
|
|a 428097353
|a 1285751976
|
| 020 |
|
|
|a 9780080954981
|q (electronic bk.)
|
| 020 |
|
|
|a 0080954987
|q (electronic bk.)
|
| 020 |
|
|
|z 9780720407525
|
| 020 |
|
|
|z 0720407524
|
| 035 |
|
|
|a (OCoLC)649907647
|z (OCoLC)428097353
|z (OCoLC)1285751976
|
| 050 |
|
4 |
|a QA9.4
|b .L38 1976eb
|
| 072 |
|
7 |
|a MAT
|x 000000
|2 bisacsh
|
| 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 :
|b North-Holland Pub. Co.,
|c 1977.
|
| 300 |
|
|
|a 1 online resource (xviii, 307 pages) :
|b illustrations.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a data file
|2 rda
|
| 490 |
1 |
|
|a Studies in logic and the foundations of mathematics ;
|v v. 89
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 505 |
0 |
|
|a I. Non classical logics -- II. Model theory -- III. Computability.
|
| 588 |
0 |
|
|a Print version record.
|
| 650 |
|
0 |
|a Nonclassical mathematical logic
|v Congresses.
|
| 650 |
|
0 |
|a Model theory
|v Congresses.
|
| 650 |
|
0 |
|a Computable functions
|v Congresses.
|
| 650 |
|
6 |
|a Logique math�ematique non classique
|0 (CaQQLa)201-0015268
|v Congr�es.
|0 (CaQQLa)201-0378219
|
| 650 |
|
6 |
|a Th�eorie des mod�eles
|0 (CaQQLa)201-0015270
|v Congr�es.
|0 (CaQQLa)201-0378219
|
| 650 |
|
6 |
|a Fonctions calculables
|0 (CaQQLa)201-0078765
|v Congr�es.
|0 (CaQQLa)201-0378219
|
| 650 |
|
7 |
|a MATHEMATICS
|x General.
|2 bisacsh
|
| 650 |
|
7 |
|a Computable functions.
|2 fast
|0 (OCoLC)fst00871985
|
| 650 |
|
7 |
|a Model theory.
|2 fast
|0 (OCoLC)fst01024368
|
| 650 |
|
7 |
|a Nonclassical mathematical logic.
|2 fast
|0 (OCoLC)fst01038606
|
| 655 |
|
2 |
|a Congress
|0 (DNLM)D016423
|
| 655 |
|
7 |
|a Conference papers and proceedings.
|2 fast
|0 (OCoLC)fst01423772
|
| 655 |
|
7 |
|a Conference papers and proceedings.
|2 lcgft
|
| 655 |
|
7 |
|a Actes de congr�es.
|2 rvmgf
|0 (CaQQLa)RVMGF-000001049
|
| 700 |
1 |
|
|a Arruda, A. I.
|q (Ayda Ignez)
|
| 700 |
1 |
|
|a Costa, Newton C. A. da.
|
| 700 |
1 |
|
|a Chuaqui, R.
|
| 776 |
0 |
8 |
|i Print version:
|a Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas).
|t Non-classical logics, model theory, and computability.
|d Amsterdam : North-Holland Pub. Co., 1977
|w (DLC) 77007366
|
| 830 |
|
0 |
|a Studies in logic and the foundations of mathematics ;
|v v. 89.
|
| 856 |
4 |
0 |
|u https://sciencedirect.uam.elogim.com/science/book/9780720407525
|z Texto completo
|
