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 |