Methods and applications of mathematical logic : [electronic resource] proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / Walter A. Carnielli and Luiz Paulo de Alcantara, editors.
Material type: TextSeries: Contemporary mathematics (American Mathematical Society) ; v. 69.Publication details: Providence, R.I. : American Mathematical Society, c1988Description: 1 online resource (xi, 250 p.)ISBN: 9780821876589 (online)Subject(s): Logic, Symbolic and mathematical -- CongressesAdditional physical formats: Methods and applications of mathematical logic :DDC classification: 511.3 LOC classification: QA9.A1 | L37 1985Online resources: Contents | ContentsCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK11349 |
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 -- Reflection properties induced by some large cardinal axioms / Carlos A. Di Prisco and Wiktor Marek -- Taxonometric partitions / A. Ehrenfeucht, M. Foreman and J. Malitz -- Diamonds, large cardinals, and ultrafilters / Akihiro Kanamori -- 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 -- Ordered structures in the description of quantum systems: mathematical progress / Luisa Iturrioz -- Infinities in mathematics and the natural sciences / Jens Erik Fenstad -- The 50th anniversary of Gentzen's thesis / Andr�es R. Raggio -- Logics and pseudogroups / X. Caicedo and A.-M. Sette -- Sets of relational systems as models for stochastic processes / Rolando Chuaqui -- A general framework for semantics for propositional logics / Richard L. Epstein -- Formal languages and topological spaces / J�org Flum -- Automatic theorem proving: an attempt to improve readability of proofs generated by resolution / Edward Hermann Haeusler -- The downward L�owenheim-Skolem theorem for $L$-structures in $\Omega $-sets / F. Miraglia -- The derivative of truth in �ukasiewicz sentential calculus / Daniele Mundici -- Equivalence relations on lattices and the complexity of the theory of permutations which commute / Jacques Stern -- Problem solving by interpretation of theories / Paulo A. S. Veloso --
http://dx.doi.org/10.1090/conm/069/933797
http://dx.doi.org/10.1090/conm/069/933798
http://dx.doi.org/10.1090/conm/069/933799
http://dx.doi.org/10.1090/conm/069/933800
http://dx.doi.org/10.1090/conm/069/933801
http://dx.doi.org/10.1090/conm/069/933802
http://dx.doi.org/10.1090/conm/069/933803
http://dx.doi.org/10.1090/conm/069/933804
http://dx.doi.org/10.1090/conm/069/933805
http://dx.doi.org/10.1090/conm/069/933806
http://dx.doi.org/10.1090/conm/069/933807
http://dx.doi.org/10.1090/conm/069/933808
http://dx.doi.org/10.1090/conm/069/933809
http://dx.doi.org/10.1090/conm/069/933810
http://dx.doi.org/10.1090/conm/069/933811
http://dx.doi.org/10.1090/conm/069/933812
http://dx.doi.org/10.1090/conm/069/933813
Access is restricted to licensed institutions
Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012
Mode of access : World Wide Web
Description based on print version record.
There are no comments on this title.