Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /
Provability, Computability and Reflection.
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | , , |
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 |