000			02344nmm a2200193Ia 4500
008			230306s9999||||xx |||||||||||||||||und||
020			_a9780821876589 (online)
245		0	_aMethods and applications of mathematical logic : _bproceedings of the VII Latin American Symposium on Mathematical Logic held July 29August 2, 1985
260			_aProvidence, R.I. : _bAmerican Mathematical Society, _cc1988
300			_a1 online resource (xi, 250 p.)
490			_aContemporary mathematics _vv. 69 _x10983627
500			_aSponsored by the Sociedade Brasileira de Logica, Sociedade Brasileira de Matematica, and the Association for Symbolic Logic.
504			_aIncludes bibliographies.
505			_tThe 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 _L _structures in _\Omega _sets ; The derivative of truth in ukasiewicz sentential calculus ; Equivalence relations on lattices and the complexity of the theory of permutations which commute ; Problem solving by interpretation of theories _rNewton 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
650			_aLogic, Symbolic and mathematical
700			_aAlcantara Luiz Paulo de
700			_aCarnielli Walter A
856			_uhttp://www.ams.org/conm/069/
999			_c28484 _d28484