000 04922cam a2200445 a 4500
001 2423494
003 RPAM
005 20201106112330.0
006 a b 100 0
007 cr/|||||||||||
008 140929s1988 riu ob 100 0 eng
020 _a9780821876589 (online)
040 _aDLC
_cDLC
_dDLC
_dRPAM
050 0 0 _aQA9.A1
_bL37 1985
082 0 0 _a511.3
_219
111 2 _aLatin-American Symposium on Mathematical Logic
_n(7th :
_d1985 :
_cState University of Campinas)
245 1 0 _aMethods and applications of mathematical logic :
_h[electronic resource]
_bproceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /
_cWalter A. Carnielli and Luiz Paulo de Alcantara, editors.
260 _aProvidence, R.I. :
_bAmerican Mathematical Society,
_cc1988.
300 _a1 online resource (xi, 250 p.)
490 1 _aContemporary mathematics,
_x0271-4132 (print);
_x1098-3627 (online);
_vv. 69
500 _aSponsored by the Sociedade Brasileira de L�ogica, Sociedade Brasileira de Matem�atica, and the Association for Symbolic Logic.
504 _aIncludes bibliographies.
505 0 0 _tThe scientific work of A. I. Arruda /
_rNewton C. A. da Costa and Luiz Paulo de Alcantara --
_uhttp://www.ams.org/conm/069/
_uhttp://dx.doi.org/10.1090/conm/069/933797
_tReflection properties induced by some large cardinal axioms /
_rCarlos A. Di Prisco and Wiktor Marek --
_uhttp://www.ams.org/conm/069/
_uhttp://dx.doi.org/10.1090/conm/069/933798
_tTaxonometric partitions /
_rA. Ehrenfeucht, M. Foreman and J. Malitz --
_uhttp://www.ams.org/conm/069/
_uhttp://dx.doi.org/10.1090/conm/069/933799
_tDiamonds, large cardinals, and ultrafilters /
_rAkihiro Kanamori --
_uhttp://www.ams.org/conm/069/
_uhttp://dx.doi.org/10.1090/conm/069/933800
_tConstantes d'une alg�ebre monadique libre sur une alg�ebre de Boole et automorphismes pr�eservant une partie g�en�eratrice de celle-ci /
_rMarcel Guillaume --
_uhttp://www.ams.org/conm/069/
_uhttp://dx.doi.org/10.1090/conm/069/933801
_tOrdered structures in the description of quantum systems: mathematical progress /
_rLuisa Iturrioz --
_uhttp://www.ams.org/conm/069/
_uhttp://dx.doi.org/10.1090/conm/069/933802
_tInfinities in mathematics and the natural sciences /
_rJens Erik Fenstad --
_uhttp://www.ams.org/conm/069/
_uhttp://dx.doi.org/10.1090/conm/069/933803
_tThe 50th anniversary of Gentzen's thesis /
_rAndr�es R. Raggio --
_uhttp://www.ams.org/conm/069/
_uhttp://dx.doi.org/10.1090/conm/069/933804
_tLogics and pseudogroups /
_rX. Caicedo and A.-M. Sette --
_uhttp://www.ams.org/conm/069/
_uhttp://dx.doi.org/10.1090/conm/069/933805
_tSets of relational systems as models for stochastic processes /
_rRolando Chuaqui --
_uhttp://www.ams.org/conm/069/
_uhttp://dx.doi.org/10.1090/conm/069/933806
_tA general framework for semantics for propositional logics /
_rRichard L. Epstein --
_uhttp://www.ams.org/conm/069/
_uhttp://dx.doi.org/10.1090/conm/069/933807
_tFormal languages and topological spaces /
_rJ�org Flum --
_uhttp://www.ams.org/conm/069/
_uhttp://dx.doi.org/10.1090/conm/069/933808
_tAutomatic theorem proving: an attempt to improve readability of proofs generated by resolution /
_rEdward Hermann Haeusler --
_uhttp://www.ams.org/conm/069/
_uhttp://dx.doi.org/10.1090/conm/069/933809
_tThe downward L�owenheim-Skolem theorem for $L$-structures in $\Omega $-sets /
_rF. Miraglia --
_uhttp://www.ams.org/conm/069/
_uhttp://dx.doi.org/10.1090/conm/069/933810
_tThe derivative of truth in �ukasiewicz sentential calculus /
_rDaniele Mundici --
_uhttp://www.ams.org/conm/069/
_uhttp://dx.doi.org/10.1090/conm/069/933811
_tEquivalence relations on lattices and the complexity of the theory of permutations which commute /
_rJacques Stern --
_uhttp://www.ams.org/conm/069/
_uhttp://dx.doi.org/10.1090/conm/069/933812
_tProblem solving by interpretation of theories /
_rPaulo A. S. Veloso --
_uhttp://www.ams.org/conm/069/
_uhttp://dx.doi.org/10.1090/conm/069/933813
506 1 _aAccess is restricted to licensed institutions
533 _aElectronic reproduction.
_bProvidence, Rhode Island :
_cAmerican Mathematical Society.
_d2012
538 _aMode of access : World Wide Web
588 _aDescription based on print version record.
650 0 _aLogic, Symbolic and mathematical
_xCongresses.
700 1 _aCarnielli, Walter A.
_q(Walter Alexandre)
700 1 _aAlcantara, Luiz Paulo de,
_d1944-
710 2 _aSociedade Brasileira de L�ogica.
710 2 _aSociedade Brasileira de Matem�atica.
710 2 _aAssociation for Symbolic Logic.
776 0 _iPrint version:
_tMethods and applications of mathematical logic :
_w(DLC) 87033651
_x0271-4132
_z9780821850763
786 _dAmerican Mathematical Society
830 0 _aContemporary mathematics (American Mathematical Society) ;
_vv. 69.
856 4 _3Contents
_uhttp://www.ams.org/conm/069/
856 4 _3Contents
_uhttp://dx.doi.org/10.1090/conm/069
942 _2EBK11349
_cEBK
999 _c40643
_d40643