skip to content
Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 Preview this item
ClosePreview this item
Checking...

Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005

Author: Costas Dimitracopoulos; Association for Symbolic Logic.
Publisher: Cambridge, UK ; New York : Cambridge University Press, 2007.
Series: Lecture notes in logic, 28.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:

This 2007 volume includes surveys, tutorials, and selected research papers on advances in logic.

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: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
Logic Colloquium.
Logic Colloquium 2005.
Cambridge, UK ; New York : Cambridge University Press, 2007
(DLC) 2007025541
(OCoLC)145379856
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Costas Dimitracopoulos; Association for Symbolic Logic.
ISBN: 9780511355806 0511355807 9780511546464 0511546467 0511355289 9780511355288 9780521884259 052188425X
OCLC Number: 190861481
Description: 1 online resource (xiii, 272 pages).
Contents: 1. Thread algebra and risk assessment services Jan A. Bergstra, Inge Bethke and Alban Ponse; 2. Covering definable manifolds by open definable subsets Mario J. Edmundo; 3. Isomorphisms and definable relations on computable models Sergei S. Goncharov; 4. Independence for types in algebraically closed valued fields Deirdre Haskell; 5. Simple groups of finite Morley rank Eric Jaligot; 6. Towards a logic of type-free modality and truth Hannes Leitgeb; 7. Structural analysis of Aronszajn trees Justin Tatch Moore; 8. Proof analysis in non-classical logics Sara Negri; 9. Paul Bernays' later philosophy of mathematics Charles Parsons; 10. Proofnets for S5: sequents and circuits for modal logic Greg Restall; 11. Recursion on the partial continuous functionals Helmut Schwichtenberg; 12. A transactional approach to the logic of truth Michael Sheard; 13. On some problems in computable topology Dieter Spreen; 14. Monotone inductive definitions and consistency of New Foundations Sergei Tupailo.
Series Title: Lecture notes in logic, 28.
Responsibility: edited by Costas Dimitracopoulos [and others].
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/190861481> # Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
   library:oclcnum "190861481" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/320209970#Place/cambridge_uk> ; # Cambridge, UK
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/320209970#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://dewey.info/class/511.3/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/320209970#Topic/mathematics_logic> ; # MATHEMATICS--Logic
   schema:about <http://experiment.worldcat.org/entity/work/data/320209970#Topic/mathematics_infinity> ; # MATHEMATICS--Infinity
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/142787442> ; # Association for Symbolic Logic.
   schema:contributor <http://viaf.org/viaf/19131893> ; # Costas Dimitracopoulos
   schema:creator <http://experiment.worldcat.org/entity/work/data/320209970#Meeting/logic_colloquium> ; # Logic Colloquium.
   schema:datePublished "2007" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/320209970> ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/320209970#Series/lecture_notes_in_logic> ; # Lecture notes in logic ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/145379856> ;
   schema:name "Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005"@en ;
   schema:productID "190861481" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/190861481#PublicationEvent/cambridge_uk_new_york_cambridge_university_press_2007> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/320209970#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=213375> ;
   schema:url <http://dx.doi.org/10.1017/CBO9780511546464> ;
   schema:url <http://www.myilibrary.com?id=115358> ;
   schema:url <http://www.myilibrary.com?id=115358&ref=toc> ;
   schema:url <http://site.ebrary.com/id/10209450> ;
   schema:url <http://0-dx.doi.org.oasis.unisa.ac.za/10.1017/CBO9780511546464> ;
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=321357> ;
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0743/2007025541-t.html> ;
   schema:workExample <http://worldcat.org/isbn/9780511355806> ;
   schema:workExample <http://worldcat.org/isbn/9780511546464> ;
   schema:workExample <http://worldcat.org/isbn/9780511355288> ;
   schema:workExample <http://worldcat.org/isbn/9780521884259> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/190861481> ;
    .


Related Entities

<http://0-dx.doi.org.oasis.unisa.ac.za/10.1017/CBO9780511546464>
   rdfs:comment "View full-text e-book at Cambridge.
Access restricted to Unisa staff and students
" ;
    .

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/320209970#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
   schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/320209970#Series/lecture_notes_in_logic> # Lecture notes in logic ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/190861481> ; # Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005
   schema:name "Lecture notes in logic ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/320209970#Topic/mathematics_infinity> # MATHEMATICS--Infinity
    a schema:Intangible ;
   schema:name "MATHEMATICS--Infinity"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/320209970#Topic/mathematics_logic> # MATHEMATICS--Logic
    a schema:Intangible ;
   schema:name "MATHEMATICS--Logic"@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/142787442> # Association for Symbolic Logic.
    a schema:Organization ;
   schema:name "Association for Symbolic Logic." ;
    .

<http://viaf.org/viaf/19131893> # Costas Dimitracopoulos
    a schema:Person ;
   schema:familyName "Dimitracopoulos" ;
   schema:givenName "Costas" ;
   schema:name "Costas Dimitracopoulos" ;
    .

<http://worldcat.org/isbn/9780511355288>
    a schema:ProductModel ;
   schema:isbn "0511355289" ;
   schema:isbn "9780511355288" ;
    .

<http://worldcat.org/isbn/9780511355806>
    a schema:ProductModel ;
   schema:isbn "0511355807" ;
   schema:isbn "9780511355806" ;
    .

<http://worldcat.org/isbn/9780511546464>
    a schema:ProductModel ;
   schema:isbn "0511546467" ;
   schema:isbn "9780511546464" ;
    .

<http://worldcat.org/isbn/9780521884259>
    a schema:ProductModel ;
   schema:isbn "052188425X" ;
   schema:isbn "9780521884259" ;
    .

<http://www.worldcat.org/oclc/145379856>
    a schema:CreativeWork ;
   rdfs:label "Logic Colloquium 2005." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/190861481> ; # Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005
    .

<http://www.worldcat.org/title/-/oclc/190861481>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/190861481> ; # Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005
   schema:dateModified "2017-12-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.