skip to content
Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 Preview this item
ClosePreview this item
Checking...

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986

Author: F R Drake
Publisher: Amsterdam ; New York : North-Holland, ©1988.
Series: Studies in logic and the foundations of mathematics, v. 124.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Genre/Form: Kongreß
Conference papers and proceedings
Kingston-upon-Hull (1986)
Congresses
Congrès
Additional Physical Format: Online version:
Logic Colloquium (1986 : Hull, Humberside).
Logic Colloquium '86.
Amsterdam ; New York : North-Holland, ©1988
(OCoLC)610554149
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: F R Drake
ISBN: 0444703268 9780444703262
OCLC Number: 17351012
Description: ix, 342 pages : illustrations ; 23 cm.
Contents: Parameter-Free Induction, the Matiyasevic Theorem and BSigma 1 (Z. Adamowicz). A Laver-Type Indestructibility for Accessible Cardinals (S. Ben David). A Complete Inference System for Regular Processes with Silent Moves (J.A. Bergstra and J.W. Klop). Cumulative Logic Programs and Modelling (E. Engeler). What is Negation in a System? (D.M. Gabbay). Teaching Logic by Computer: A Hacker's Guide (P. Gibbins). On the Role of 0' in Recursion Theory (A. Kucera). The Origins of Forcing (G.H. Moore). How to Obtain Interpolation for L kappa + kappa (J. Oikkonen). The Craig Interpolation Lemma for Certain Modal Logics (J. Plaza). Model Theory and Representation Type of Algebras (M. Prest). The Knuth-Bendix Completion Procedure, the Growth Function, and Polycyclic Groups (M.M. Richter). Introduction to the Theory of Logic Programming (J.C. Shepherdson). A Complete Class of Restricted Logic Programs (O. Stepankova and P. Stepanek). Oscillations of Real Numbers (S. Todorcevic). Doing without Determinacy-Aspects of Inner Models (P.D. Welch).
Series Title: Studies in logic and the foundations of mathematics, v. 124.
Responsibility: edited by F.R. Drake and J.K. Truss.

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/17351012> # Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "17351012" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/890410654#Place/amsterdam> ; # Amsterdam
    schema:about <http://experiment.worldcat.org/entity/work/data/890410654#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/890410654#Topic/kongress> ; # Kongreß
    schema:about <http://dewey.info/class/511.3/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/890410654#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/890410654#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/890410654#Topic/logica_matematica> ; # Logica matematica
    schema:about <http://experiment.worldcat.org/entity/work/data/890410654#Topic/logique_symbolique_et_mathematique_congres> ; # Logique symbolique et mathématique--Congrès
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/94803803> ; # Frank Robert Drake
    schema:copyrightYear "1988" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/890410654#Meeting/logic_colloquium_1986_hull_humberside> ; # Logic Colloquium (1986 : Hull, Humberside)
    schema:datePublished "1988" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/890410654> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Kingston-upon-Hull (1986)"@en ;
    schema:genre "Kongreß"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/890410654#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/610554149> ;
    schema:name "Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986"@en ;
    schema:productID "17351012" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/17351012#PublicationEvent/amsterdam_new_york_north_holland_1988> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/890410654#Agent/north_holland> ; # North-Holland
    schema:workExample <http://worldcat.org/isbn/9780444703262> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/17351012> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/890410654#Agent/north_holland> # North-Holland
    a bgn:Agent ;
    schema:name "North-Holland" ;
    .

<http://experiment.worldcat.org/entity/work/data/890410654#Meeting/logic_colloquium_1986_hull_humberside> # Logic Colloquium (1986 : Hull, Humberside)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/890410654#Place/hull_humberside> ; # Hull, Humberside)
    schema:name "Logic Colloquium (1986 : Hull, Humberside)" ;
    .

<http://experiment.worldcat.org/entity/work/data/890410654#Place/hull_humberside> # Hull, Humberside)
    a schema:Place ;
    schema:name "Hull, Humberside)" ;
    .

<http://experiment.worldcat.org/entity/work/data/890410654#Series/studies_in_logic_and_the_foundations_of_mathematics> # Studies in logic and the foundations of mathematics ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/17351012> ; # Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986
    schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/890410654#Topic/logica_matematica> # Logica matematica
    a schema:Intangible ;
    schema:name "Logica matematica"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/890410654#Topic/logique_symbolique_et_mathematique_congres> # Logique symbolique et mathématique--Congrès
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/890410654#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
    schema:name "Mathematische Logik"@en ;
    .

<http://viaf.org/viaf/94803803> # Frank Robert Drake
    a schema:Person ;
    schema:familyName "Drake" ;
    schema:givenName "Frank Robert" ;
    schema:givenName "F. R." ;
    schema:name "Frank Robert Drake" ;
    .

<http://worldcat.org/isbn/9780444703262>
    a schema:ProductModel ;
    schema:isbn "0444703268" ;
    schema:isbn "9780444703262" ;
    .

<http://www.worldcat.org/oclc/610554149>
    a schema:CreativeWork ;
    rdfs:label "Logic Colloquium '86." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/17351012> ; # Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986
    .

<http://www.worldcat.org/title/-/oclc/17351012>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/17351012> ; # Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986
    schema:dateModified "2017-09-18" ;
    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.