skip to content
Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 Preview this item
ClosePreview this item
Checking...

Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985

Author: Walter A Carnielli; Luiz Paulo de Alcantara; Sociedade Brasileira de Lógica.; Sociedade Brasileira de Matemática.; Association for Symbolic Logic.
Publisher: Providence, R.I. : American Mathematical Society, ©1988.
Series: Contemporary mathematics (American Mathematical Society), v. 69.
Edition/Format:   Book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Constitutes the proceedings of the Seventh Latin American Symposium on Mathematical Logic, held July 29-August 2, 1985, at the University of Campinas in Brazil. This book offers an introduction to  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference proceedings
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Walter A Carnielli; Luiz Paulo de Alcantara; Sociedade Brasileira de Lógica.; Sociedade Brasileira de Matemática.; Association for Symbolic Logic.
ISBN: 0821850768 9780821850763
OCLC Number: 17353797
Notes: Sponsored by the Sociedade Brasileira de Lógica, Sociedade Brasileira de Matemática, and the Association for Symbolic Logic.
Description: xi, 250 pages ; 25 cm.
Contents: The scientific work of A. I. Arruda by N. C. A. da Costa and L. P. de Alcantara Section I - Foundations of set theory: Reflection properties induced by some large cardinal axioms by C. A. Di Prisco and W. Marek Taxonometric partitions by A. Ehrenfeucht, M. Foreman, and J. Malitz Diamonds, large cardinals, and ultrafilters by A. Kanamori Section II - Algebraic logic: Constantes d'une algebre monadique libre sur une algebre de Boole et automorphismes, preeservant une partie generatrice de celle-ci by M. Guillaume Ordered structures in the description of quantum systems: mathematical progress by L. Iturrioz Section III - Philosophical aspects of mathematical logic: Infinities in mathematics and the natural sciences by J. E. Fenstad The 50th anniversary of Gentzen's thesis by A. R. Raggio Section IV - Interactions between logic, mathematics, and computer science: Logics and pseudogroups by X. Caicedo and A. M. Sette Sets of relational systems as models for stochastic processes by R. Chuaqui A general framework for semantics for propositional logics by R. L. Epstein Formal languages and topological spaces by J. Flum Automatic theorem proving: an attempt to improve readability of proofs generated by resolution by E. H. Haeusler The downward Lowenheim-Skolem theorem for L-structure in $\Omega$-sets by F. Miraglia The derivative of truth in Lukasiewicz sentential calculus by D. Mundici Equivalence relations on lattices and the complexity of the theory of permutations which commute by J. Stern Problem solving by interpretation of theories by P. A. S. Veloso.
Series Title: Contemporary mathematics (American Mathematical Society), v. 69.
Responsibility: Walter A. Carnielli and Luiz Paulo de Alcantara, editors.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/17353797>
library:oclcnum"17353797"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:MediaObject
rdf:typeschema:Book
rdf:valueUnknown value: cnp
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
schema:contributor
<http://viaf.org/viaf/5009512>
rdf:typeschema:Person
schema:familyName"Carnielli"
schema:givenName"Walter A."
schema:name"Carnielli, Walter A. (Walter Alexandre)"
schema:contributor
schema:copyrightYear"1988"
schema:creator
schema:datePublished"1988"
schema:exampleOfWork<http://worldcat.org/entity/work/id/349619545>
schema:genre"Conference proceedings"@en
schema:inLanguage"en"
schema:isPartOf
schema:name"Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985"@en
schema:publication
schema:publisher
schema:workExample
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.