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:   Print 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 papers and 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


Primary Entity

<http://www.worldcat.org/oclc/17353797> # Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "17353797" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/riu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/349619545#Place/providence_r_i> ; # Providence, R.I.
    schema:about <http://experiment.worldcat.org/entity/work/data/349619545#Topic/logique_mathematique> ; # Logique mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/349619545#Topic/theorie_ensemble> ; # Théorie ensemble
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/349619545#Topic/arruda> ; # Arruda
    schema:about <http://dewey.info/class/511.3/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/349619545#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/349619545#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/142787442> ; # Association for Symbolic Logic.
    schema:contributor <http://viaf.org/viaf/261732725> ; # Sociedade Brasileira de Lógica.
    schema:contributor <http://viaf.org/viaf/108706674> ; # Luiz Paulo de Alcantara
    schema:contributor <http://viaf.org/viaf/5009512> ; # Walter Alexandre Carnielli
    schema:contributor <http://viaf.org/viaf/140582529> ; # Sociedade Brasileira de Matemática.
    schema:copyrightYear "1988" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/349619545#Meeting/latin_american_symposium_on_mathematical_logic_7th_1985_state_university_of_campinas> ; # Latin-American Symposium on Mathematical Logic (7th : 1985 : State University of Campinas)
    schema:datePublished "1988" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/349619545> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/349619545#Series/contemporary_mathematics_american_mathematical_society> ; # Contemporary mathematics (American Mathematical Society) ;
    schema:isPartOf <http://worldcat.org/issn/0271-4132> ; # Contemporary mathematics,
    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:productID "17353797" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/17353797#PublicationEvent/providence_r_i_american_mathematical_society_1988> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/349619545#Agent/american_mathematical_society> ; # American Mathematical Society
    schema:url <http://www.gbv.de/dms/bowker/toc/9780821850763.pdf> ;
    schema:workExample <http://worldcat.org/isbn/9780821850763> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/17353797> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/349619545#Agent/american_mathematical_society> # American Mathematical Society
    a bgn:Agent ;
    schema:name "American Mathematical Society" ;
    .

<http://experiment.worldcat.org/entity/work/data/349619545#Meeting/latin_american_symposium_on_mathematical_logic_7th_1985_state_university_of_campinas> # Latin-American Symposium on Mathematical Logic (7th : 1985 : State University of Campinas)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/349619545#Place/state_university_of_campinas> ; # State University of Campinas)
    schema:name "Latin-American Symposium on Mathematical Logic (7th : 1985 : State University of Campinas)" ;
    .

<http://experiment.worldcat.org/entity/work/data/349619545#Place/providence_r_i> # Providence, R.I.
    a schema:Place ;
    schema:name "Providence, R.I." ;
    .

<http://experiment.worldcat.org/entity/work/data/349619545#Place/state_university_of_campinas> # State University of Campinas)
    a schema:Place ;
    schema:name "State University of Campinas)" ;
    .

<http://experiment.worldcat.org/entity/work/data/349619545#Series/contemporary_mathematics_american_mathematical_society> # Contemporary mathematics (American Mathematical Society) ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/17353797> ; # Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985
    schema:name "Contemporary mathematics (American Mathematical Society) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/349619545#Topic/logique_mathematique> # Logique mathématique
    a schema:Intangible ;
    schema:name "Logique mathématique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/349619545#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@en ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/349619545#Topic/theorie_ensemble> # Théorie ensemble
    a schema:Intangible ;
    schema:name "Théorie ensemble"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://viaf.org/viaf/108706674> # Luiz Paulo de Alcantara
    a schema:Person ;
    schema:birthDate "1944" ;
    schema:familyName "Alcantara" ;
    schema:givenName "Luiz Paulo de" ;
    schema:name "Luiz Paulo de Alcantara" ;
    .

<http://viaf.org/viaf/140582529> # Sociedade Brasileira de Matemática.
    a schema:Organization ;
    schema:name "Sociedade Brasileira de Matemática." ;
    .

<http://viaf.org/viaf/142787442> # Association for Symbolic Logic.
    a schema:Organization ;
    schema:name "Association for Symbolic Logic." ;
    .

<http://viaf.org/viaf/261732725> # Sociedade Brasileira de Lógica.
    a schema:Organization ;
    schema:name "Sociedade Brasileira de Lógica." ;
    .

<http://viaf.org/viaf/5009512> # Walter Alexandre Carnielli
    a schema:Person ;
    schema:familyName "Carnielli" ;
    schema:givenName "Walter Alexandre" ;
    schema:givenName "Walter A." ;
    schema:name "Walter Alexandre Carnielli" ;
    .

<http://worldcat.org/isbn/9780821850763>
    a schema:ProductModel ;
    schema:isbn "0821850768" ;
    schema:isbn "9780821850763" ;
    .

<http://worldcat.org/issn/0271-4132> # Contemporary mathematics,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/17353797> ; # Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985
    schema:issn "0271-4132" ;
    schema:name "Contemporary mathematics," ;
    .

<http://www.worldcat.org/title/-/oclc/17353797>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/17353797> ; # Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985
    schema:dateModified "2015-07-23" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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