skip to content
A Framework for Priority Arguments. Preview this item
ClosePreview this item
Checking...

A Framework for Priority Arguments.

Author: Manuel Lerman
Publisher: Leiden : Cambridge University Press, 2010.
Series: Lecture notes in logic.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This book presents a unifying framework for using priority arguments to prove theorems in computability.
Rating:

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

Subjects
More like this

 

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Electronic books
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Manuel Lerman
ISBN: 9780511744570 0511744579
OCLC Number: 638859711
Description: 1 online resource (194 pages).
Contents: Cover; Half-title; Series-title; Title; Copyright; CONTENTS; PREFACE; Chapter 1 INTRODUCTION; Chapter 2 SYSTEMS OF TREES OF STRATEGIES; Chapter 3 sigma1 CONSTRUCTIONS; Chapter 4 delta2 CONSTRUCTIONS; Chapter 5 pi2 CONSTRUCTIONS; Chapter 6 delta3 CONSTRUCTIONS; Chapter 7 sigma3 CONSTRUCTIONS; Chapter 8 PATHS AND LINKS; Chapter 9 BACKTRACKING; Chapter 10 HIGHER-LEVEL CONSTRUCTIONS; Chapter 11 INFINITE SYSTEMS OF TREES; REFERENCES.
Series Title: Lecture notes in logic.

Abstract:

This book presents a unifying framework for using priority arguments to prove theorems in computability.

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/638859711> # A Framework for Priority Arguments.
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "638859711" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/369599676#Place/leiden> ; # Leiden
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://id.worldcat.org/fast/1076996> ; # Priority (Philosophy)
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://dewey.info/class/511.352/> ;
   schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
   schema:bookFormat schema:EBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/369599676#Person/lerman_manuel> ; # Manuel Lerman
   schema:datePublished "2010" ;
   schema:description "Cover; Half-title; Series-title; Title; Copyright; CONTENTS; PREFACE; Chapter 1 INTRODUCTION; Chapter 2 SYSTEMS OF TREES OF STRATEGIES; Chapter 3 sigma1 CONSTRUCTIONS; Chapter 4 delta2 CONSTRUCTIONS; Chapter 5 pi2 CONSTRUCTIONS; Chapter 6 delta3 CONSTRUCTIONS; Chapter 7 sigma3 CONSTRUCTIONS; Chapter 8 PATHS AND LINKS; Chapter 9 BACKTRACKING; Chapter 10 HIGHER-LEVEL CONSTRUCTIONS; Chapter 11 INFINITE SYSTEMS OF TREES; REFERENCES."@en ;
   schema:description "This book presents a unifying framework for using priority arguments to prove theorems in computability."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/369599676> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/369599676#Series/lecture_notes_in_logic> ; # Lecture notes in logic.
   schema:isSimilarTo <http://worldcat.org/entity/work/data/369599676#CreativeWork/> ;
   schema:name "A Framework for Priority Arguments."@en ;
   schema:productID "638859711" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/638859711#PublicationEvent/leiden_cambridge_university_press_2010> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/369599676#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=534773> ;
   schema:url <http://www.myilibrary.com?id=263077> ;
   schema:url <http://www.myilibrary.com?id=263077&ref=toc> ;
   schema:workExample <http://worldcat.org/isbn/9780511744570> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/638859711> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/369599676#Person/lerman_manuel> # Manuel Lerman
    a schema:Person ;
   schema:familyName "Lerman" ;
   schema:givenName "Manuel" ;
   schema:name "Manuel Lerman" ;
    .

<http://experiment.worldcat.org/entity/work/data/369599676#Series/lecture_notes_in_logic> # Lecture notes in logic.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/638859711> ; # A Framework for Priority Arguments.
   schema:name "Lecture notes in logic." ;
   schema:name "Lecture Notes in Logic" ;
    .

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

<http://id.worldcat.org/fast/1076996> # Priority (Philosophy)
    a schema:Intangible ;
   schema:name "Priority (Philosophy)"@en ;
    .

<http://id.worldcat.org/fast/1078942> # Proof theory
    a schema:Intangible ;
   schema:name "Proof theory"@en ;
    .

<http://worldcat.org/isbn/9780511744570>
    a schema:ProductModel ;
   schema:isbn "0511744579" ;
   schema:isbn "9780511744570" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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