Cargando…

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /

Provability, Computability and Reflection.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Latin-American Symposium on Mathematical Logic Santiago de Chile
Otros Autores: Arruda, A. I. (Ayda Ignez), Chuaqui, R., Costa, Newton C. A. da
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : New York : North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.
Colección:Studies in logic and the foundations of mathematics ; v. 99.
Temas:
Acceso en línea:Texto completo
Texto completo
Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 SCIDIR_ocn428097358
003 OCoLC
005 20231117032817.0
006 m o d
007 cr cnu---unuuu
008 090728s1980 ne ob 100 0 eng d
040 |a OPELS  |b eng  |e pn  |c OPELS  |d N$T  |d OCLCQ  |d EBLCP  |d IDEBK  |d E7B  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OPELS  |d OCLCF  |d OCLCQ  |d OCLCO  |d NLGGC  |d YDXCP  |d OCL  |d OCLCO  |d OCLCQ  |d OCLCO  |d COO  |d OCLCO  |d OCLCQ  |d OCLCO  |d DEBSZ  |d LEAUB  |d OCLCQ  |d VLY  |d S2H  |d OCLCO  |d OCLCQ  |d OCLCO 
019 |a 646836454  |a 1162210768 
020 |a 9780080955070  |q (electronic bk.) 
020 |a 008095507X  |q (electronic bk.) 
020 |a 0444854029 
020 |a 9780444854025 
020 |a 1282309145 
020 |a 9781282309142 
020 |a 9786612309144 
020 |a 6612309148 
020 |z 9780444854025 
035 |a (OCoLC)428097358  |z (OCoLC)646836454  |z (OCoLC)1162210768 
050 4 |a QA9.A1  |b L37 1978eb 
072 7 |a MAT  |x 016000  |2 bisacsh 
072 7 |a MAT  |x 018000  |2 bisacsh 
082 0 4 |a 511/.3  |2 22 
111 2 |a Latin-American Symposium on Mathematical Logic  |n (4th :  |d 1978 :  |c Santiago de Chile) 
245 1 0 |a Mathematical logic in Latin America :  |b proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /  |c edited by A.I. Arruda, R. Chuaqui, N.C.A. da Costa. 
260 |a Amsterdam ;  |a New York :  |b North-Holland Pub. Co. ;  |a New York :  |b Sole distributors for the U.S.A. and Canada, Elsevier North-Holland,  |c 1980. 
300 |a 1 online resource (xii, 392 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Studies in logic and the foundations of mathematics ;  |v v. 99 
504 |a Includes bibliographical references. 
588 0 |a Print version record. 
505 0 |a Front Cover; Mathematical Logic in Latin America; Copyright Page; CONTENTS; Preface; Program of the Seminar; Program of the Symposium; Chapter 1 A survey of paraconsistent logic; Chapter 2 On strong axioms of induction in set theory and arithmetic; Chapter 3 Toward a concept of scientific theory through special relativity; Chapter 4 The consistency of a higher order predicate calculus and set theory based on combinatory logic; Chapter 5 Back-and-forth systems for arbitrary quantifiers; Chapter 6 Foundations of statistical methods using a semantical definition of probability 
505 8 |a Chapter 7 Parameters in theories of classesChapter 8 A model-theoretical approach to variable binding term operators; Chapter 9 The model theory of FC-Groups; Chapter 10 Semantical models for intuitionistic logics; Chapter 11 Truth, probability and set theory; Chapter 12 Compact fragments of higher order logic; Chapter 13 A closure for partial algebras; Chapter 14 Topological duality theory in algebraic logic; Chapter 15 Satisfaction definitions and axioms of infinity in a theory of properties with necessity operator 
505 8 |a Chapter 16 Problems and solutions in semantics of quantified relevant logics IChapter 17 A characterization of principal congruences of de Morgan algebras and its applications; Chapter 18 Axiomatizations for s -additive measurement structures; Chapter 19 Functorial approach to interpretability; Chapter 20 On PCd(A)-classes for an admissible set A 
520 |a Provability, Computability and Reflection. 
546 |a English. 
650 0 |a Logic, Symbolic and mathematical  |v Congresses. 
650 6 |a Logique symbolique et math�ematique  |0 (CaQQLa)201-0001166  |v Congr�es.  |0 (CaQQLa)201-0378219 
650 7 |a MATHEMATICS  |x Infinity.  |2 bisacsh 
650 7 |a MATHEMATICS  |x Logic.  |2 bisacsh 
650 7 |a Logic, Symbolic and mathematical  |2 fast  |0 (OCoLC)fst01002068 
655 7 |a proceedings (reports)  |2 aat  |0 (CStmoGRI)aatgf300027316 
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 Chuaqui, R. 
700 1 |a Costa, Newton C. A. da. 
776 0 8 |i Print version:  |a Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile).  |t Mathematical logic in Latin America.  |d Amsterdam ; New York : North-Holland Pub. Co. ; New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980  |z 9780444854025  |w (DLC) 79020797  |w (OCoLC)5411969 
830 0 |a Studies in logic and the foundations of mathematics ;  |v v. 99. 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/book/9780444854025  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/99  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=99  |z Texto completo