skip to content
Provability, Computability and Reflection. Preview this item
ClosePreview this item
Checking...

Provability, Computability and Reflection.

Author: Lev D Beklemishev
Publisher: Burlington : Elsevier Science, 1960.
Series: Studies in logic and the foundations of mathematics.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
Provability, Computability and Reflection.
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
Additional Physical Format: Print version:
Beklemishev, Lev D.
Provability, Computability and Reflection.
Burlington : Elsevier Science, ©1960
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Lev D Beklemishev
ISBN: 9780080957487 008095748X
OCLC Number: 699474112
Description: 1 online resource (232 pages).
Contents: Front Cover; Lincos: Design of a Language for Cosmic Intercourse; Copyright Page; CONTENTS; INTRODUCTION; CHAPTER I. MATHEMATICS; CHAPTER II. TIME; CHAPTER III. BEHAVIOUR; CHAPTER IV. SPACE, MOTION, MASS; SUMMARY OF CHAPTER I-IV; REGISTER.
Series Title: Studies in logic and the foundations of mathematics.

Abstract:

Provability, Computability and Reflection.

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/699474112> # Provability, Computability and Reflection.
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "699474112" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vtu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/773780135#Place/burlington> ; # Burlington
    schema:about <http://dewey.info/class/499.99/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/773780135#Topic/mathematics_general> ; # MATHEMATICS--General
    schema:about <http://experiment.worldcat.org/entity/work/data/773780135#Topic/foreign_language_study_miscellaneous> ; # FOREIGN LANGUAGE STUDY--Miscellaneous
    schema:about <http://id.worldcat.org/fast/999017> ; # Lincos (Artificial language)
    schema:bookFormat schema:EBook ;
    schema:creator <http://viaf.org/viaf/60871940> ; # Lev D. Beklemishev
    schema:datePublished "1960" ;
    schema:description "Front Cover; Lincos: Design of a Language for Cosmic Intercourse; Copyright Page; CONTENTS; INTRODUCTION; CHAPTER I. MATHEMATICS; CHAPTER II. TIME; CHAPTER III. BEHAVIOUR; CHAPTER IV. SPACE, MOTION, MASS; SUMMARY OF CHAPTER I-IV; REGISTER."@en ;
    schema:description "Provability, Computability and Reflection."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/773780135> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/773780135#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/773780135#CreativeWork/provability_computability_and_reflection> ;
    schema:name "Provability, Computability and Reflection."@en ;
    schema:productID "699474112" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/699474112#PublicationEvent/burlington_elsevier_science_1960> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/773780135#Agent/elsevier_science> ; # Elsevier Science
    schema:url <http://www.myilibrary.com?id=383852&ref=toc> ;
    schema:url <http://www.123library.org/book_details/?id=42451> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=407867> ;
    schema:url <http://www.myilibrary.com?id=383852> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=579214> ;
    schema:workExample <http://worldcat.org/isbn/9780080957487> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/699474112> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/773780135#Agent/elsevier_science> # Elsevier Science
    a bgn:Agent ;
    schema:name "Elsevier Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/773780135#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/699474112> ; # Provability, Computability and Reflection.
    schema:name "Studies in logic and the foundations of mathematics." ;
    schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/773780135#Topic/foreign_language_study_miscellaneous> # FOREIGN LANGUAGE STUDY--Miscellaneous
    a schema:Intangible ;
    schema:name "FOREIGN LANGUAGE STUDY--Miscellaneous"@en ;
    .

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

<http://id.worldcat.org/fast/999017> # Lincos (Artificial language)
    a schema:Intangible ;
    schema:name "Lincos (Artificial language)"@en ;
    .

<http://viaf.org/viaf/60871940> # Lev D. Beklemishev
    a schema:Person ;
    schema:familyName "Beklemishev" ;
    schema:givenName "Lev D." ;
    schema:name "Lev D. Beklemishev" ;
    .

<http://worldcat.org/entity/work/data/773780135#CreativeWork/provability_computability_and_reflection>
    a schema:CreativeWork ;
    rdfs:label "Provability, Computability and Reflection." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/699474112> ; # Provability, Computability and Reflection.
    .

<http://worldcat.org/isbn/9780080957487>
    a schema:ProductModel ;
    schema:isbn "008095748X" ;
    schema:isbn "9780080957487" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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