TY  - DATA
AU  - Alcantara Luiz Paulo de
AU  - Carnielli Walter A
TI  - Methods and applications of mathematical logic: proceedings of the VII Latin American Symposium on Mathematical Logic held July 29August 2, 1985 
T2  - Contemporary mathematics 
SN  - 9780821876589 (online)
PY  - 1988///
CY  - Providence, R.I.
PB  - American Mathematical Society
KW  - Logic, Symbolic and mathematical
N1  - Sponsored by the Sociedade Brasileira de Logica, Sociedade Brasileira de Matematica, and the Association for Symbolic Logic; Includes bibliographies; The scientific work of A. I. Arruda  ; Reflection properties induced by some large cardinal axioms  ; Taxonometric partitions  ; Diamonds, large cardinals, and ultrafilters  ; Constantes d'une algebre monadique libre sur une algebre de Boole et automorphismes preservant une partie generatrice de celleci  ; Ordered structures in the description of quantum systems: mathematical progress  ; Infinities in mathematics and the natural sciences  ; The 50th anniversary of Gentzen's thesis  ; Logics and pseudogroups  ; Sets of relational systems as models for stochastic processes  ; A general framework for semantics for propositional logics  ; Formal languages and topological spaces  ; Automatic theorem proving: an attempt to improve readability of proofs generated by resolution  ; The downward LowenheimSkolem theorem for; Newton C A da Costa and Luiz Paulo de Alcantara  ;  Carlos A Di Prisco and Wiktor Marek  ;  A Ehrenfeucht M Foreman and J Malitz  ;  Akihiro Kanamori  ;  Marcel Guillaume  ;  Luisa Iturrioz  ;  Jens Erik Fenstad  ;  Andres R Raggio  ;  X Caicedo and AM Sette  ;  Rolando Chuaqui  ;  Richard L Epstein  ;  Jorg Flum  ;  Edward Hermann Haeusler  ;  F Miraglia  ;  Daniele Mundici  ;  Jacques Stern  ;  Paulo A S Veloso
UR  - http://www.ams.org/conm/069/
ER  -