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://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   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/programmation_en_logique> ; # programmation en logique
   schema:about <http://experiment.worldcat.org/entity/work/data/890410654#Topic/logique_mathematique> ; # logique mathématique
   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> ; # logique symbolique
   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#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/logique_mathematique> # logique mathématique
    a schema:Intangible ;
   schema:name "logique mathématique"@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://experiment.worldcat.org/entity/work/data/890410654#Topic/programmation_en_logique> # programmation en logique
    a schema:Intangible ;
   schema:name "programmation en logique"@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/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 "2016-05-10" ;
   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.