skip to content
An evaluation of the [omega]-complexity of first order arithmetic with the constructive [omega]-rule Preview this item
ClosePreview this item
Checking...

An evaluation of the [omega]-complexity of first order arithmetic with the constructive [omega]-rule

Author: Mariko Yasugi
Publisher: Pittsburgh, Pa. : Carnegie Institute of Technology, Dept. of Mathematics, [1969]
Series: Report (Carnegie Institute of Technology. Department of Mathematics), 69-16.
Edition/Format:   Print book : English
Database:WorldCat
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

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Mariko Yasugi
OCLC Number: 40943103
Notes: Title includes Greek letter omega.
Description: 22 leaves ; 28 cm.
Series Title: Report (Carnegie Institute of Technology. Department of Mathematics), 69-16.
Responsibility: Mariko Yasugi.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

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/40943103> # An evaluation of the [omega]-complexity of first order arithmetic with the constructive [omega]-rule
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "40943103" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/pau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/26190293#Place/pittsburgh_pa> ; # Pittsburgh, Pa.
   schema:about <http://id.worldcat.org/fast/1041214> ; # Number theory
   schema:about <http://id.worldcat.org/fast/1091984> ; # Recursive functions
   schema:about <http://id.worldcat.org/fast/814484> ; # Arithmetic
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/19910446> ; # Mariko Yasugi
   schema:datePublished "1969" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/26190293> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/26190293#Series/report_carnegie_institute_of_technology_department_of_mathematics> ; # Report (Carnegie Institute of Technology. Department of Mathematics) ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/26190293#Series/report_carnegie_institute_of_technology_dept_of_mathematics> ; # Report / Carnegie Institute of Technology. Dept. of Mathematics ;
   schema:name "An evaluation of the [omega]-complexity of first order arithmetic with the constructive [omega]-rule"@en ;
   schema:productID "40943103" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/40943103#PublicationEvent/pittsburgh_pa_carnegie_institute_of_technology_dept_of_mathematics_1969> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/26190293#Agent/carnegie_institute_of_technology_dept_of_mathematics> ; # Carnegie Institute of Technology, Dept. of Mathematics
   schema:url <http://doi.library.cmu.edu/10.1184/OCLC/40943103> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/40943103> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/26190293#Agent/carnegie_institute_of_technology_dept_of_mathematics> # Carnegie Institute of Technology, Dept. of Mathematics
    a bgn:Agent ;
   schema:name "Carnegie Institute of Technology, Dept. of Mathematics" ;
    .

<http://experiment.worldcat.org/entity/work/data/26190293#Place/pittsburgh_pa> # Pittsburgh, Pa.
    a schema:Place ;
   schema:name "Pittsburgh, Pa." ;
    .

<http://experiment.worldcat.org/entity/work/data/26190293#Series/report_carnegie_institute_of_technology_department_of_mathematics> # Report (Carnegie Institute of Technology. Department of Mathematics) ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/40943103> ; # An evaluation of the [omega]-complexity of first order arithmetic with the constructive [omega]-rule
   schema:name "Report (Carnegie Institute of Technology. Department of Mathematics) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/26190293#Series/report_carnegie_institute_of_technology_dept_of_mathematics> # Report / Carnegie Institute of Technology. Dept. of Mathematics ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/40943103> ; # An evaluation of the [omega]-complexity of first order arithmetic with the constructive [omega]-rule
   schema:name "Report / Carnegie Institute of Technology. Dept. of Mathematics ;" ;
    .

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

<http://id.worldcat.org/fast/1091984> # Recursive functions
    a schema:Intangible ;
   schema:name "Recursive functions"@en ;
    .

<http://id.worldcat.org/fast/814484> # Arithmetic
    a schema:Intangible ;
   schema:name "Arithmetic"@en ;
    .

<http://viaf.org/viaf/19910446> # Mariko Yasugi
    a schema:Person ;
   schema:familyName "Yasugi" ;
   schema:givenName "Mariko" ;
   schema:name "Mariko Yasugi" ;
    .

<http://www.worldcat.org/title/-/oclc/40943103>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/40943103> ; # An evaluation of the [omega]-complexity of first order arithmetic with the constructive [omega]-rule
   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.