TY  - BOOK
AU  - Carnielli,Walter A.
AU  - Alcantara,Luiz Paulo de
ED  - Latin-American Symposium on Mathematical Logic
ED  - Sociedade Brasileira de L�ogica.
ED  - Sociedade Brasileira de Matem�atica.
ED  - Association for Symbolic Logic.
TI  - Methods and applications of mathematical logic: proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 
T2  - Contemporary mathematics, 
SN  - 9780821876589 (online)
AV  - QA9.A1 L37 1985
U1  - 511.3 19
PY  - 1988///
CY  - Providence, R.I.
PB  - American Mathematical Society
KW  - Logic, Symbolic and mathematical
KW  - Congresses
N1  - Sponsored by the Sociedade Brasileira de L�ogica, Sociedade Brasileira de Matem�atica, and the Association for Symbolic Logic; Includes bibliographies; The scientific work of A. I. Arruda; Newton C. A. da Costa and Luiz Paulo de Alcantara --; http://www.ams.org/conm/069; http://dx.doi.org/10.1090/conm/069/933797; Reflection properties induced by some large cardinal axioms; Carlos A. Di Prisco and Wiktor Marek --; http://www.ams.org/conm/069; http://dx.doi.org/10.1090/conm/069/933798; Taxonometric partitions; A. Ehrenfeucht, M. Foreman and J. Malitz --; http://www.ams.org/conm/069; http://dx.doi.org/10.1090/conm/069/933799; Diamonds, large cardinals, and ultrafilters; Akihiro Kanamori --; http://www.ams.org/conm/069; http://dx.doi.org/10.1090/conm/069/933800; Constantes d'une alg�ebre monadique libre sur une alg�ebre de Boole et automorphismes pr�eservant une partie g�en�eratrice de celle-ci; Marcel Guillaume --; http://www.ams.org/conm/069; http://dx.doi.org/10.1090/conm/069/933801; Ordered structures in the description of quantum systems: mathematical progress; Luisa Iturrioz --; http://www.ams.org/conm/069; http://dx.doi.org/10.1090/conm/069/933802; Infinities in mathematics and the natural sciences; Jens Erik Fenstad --; http://www.ams.org/conm/069; http://dx.doi.org/10.1090/conm/069/933803; The 50th anniversary of Gentzen's thesis; Andr�es R. Raggio --; http://www.ams.org/conm/069; http://dx.doi.org/10.1090/conm/069/933804; Logics and pseudogroups; X. Caicedo and A.-M. Sette --; http://www.ams.org/conm/069; http://dx.doi.org/10.1090/conm/069/933805; Sets of relational systems as models for stochastic processes; Rolando Chuaqui --; http://www.ams.org/conm/069; http://dx.doi.org/10.1090/conm/069/933806; A general framework for semantics for propositional logics; Richard L. Epstein --; http://www.ams.org/conm/069; http://dx.doi.org/10.1090/conm/069/933807; Formal languages and topological spaces; J�org Flum --; http://www.ams.org/conm/069; http://dx.doi.org/10.1090/conm/069/933808; Automatic theorem proving: an attempt to improve readability of proofs generated by resolution; Edward Hermann Haeusler --; http://www.ams.org/conm/069; http://dx.doi.org/10.1090/conm/069/933809; The downward L�owenheim-Skolem theorem for $L$-structures in $\Omega $-sets; F. Miraglia --; http://www.ams.org/conm/069; http://dx.doi.org/10.1090/conm/069/933810; The derivative of truth in �ukasiewicz sentential calculus; Daniele Mundici --; http://www.ams.org/conm/069; http://dx.doi.org/10.1090/conm/069/933811; Equivalence relations on lattices and the complexity of the theory of permutations which commute; Jacques Stern --; http://www.ams.org/conm/069; http://dx.doi.org/10.1090/conm/069/933812; Problem solving by interpretation of theories; Paulo A. S. Veloso --; http://www.ams.org/conm/069; http://dx.doi.org/10.1090/conm/069/933813; Access is restricted to licensed institutions; Electronic reproduction; Providence, Rhode Island; American Mathematical Society; 2012
UR  - http://www.ams.org/conm/069/
UR  - http://dx.doi.org/10.1090/conm/069
ER  -