skip to content
Recursive number theory; a development of recursive arithmetic in a logic-free equation calculus. Preview this item
ClosePreview this item
Checking...

Recursive number theory; a development of recursive arithmetic in a logic-free equation calculus.

Author: R L Goodstein
Publisher: Amsterdam, North-Holland Pub. Co., 1964.
Series: Studies in logic and the foundations of mathematics.
Edition/Format:   Print book : EnglishView all editions and formats
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

Document Type: Book
All Authors / Contributors: R L Goodstein
OCLC Number: 12677161
Description: xii, 190 pages 22 cm.
Series Title: Studies in logic and the foundations of mathematics.

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/12677161> # Recursive number theory; a development of recursive arithmetic in a logic-free equation calculus.
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "12677161" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/430410996#Place/amsterdam> ; # Amsterdam
    schema:about <http://id.worldcat.org/fast/1041214> ; # Number theory
    schema:about <http://experiment.worldcat.org/entity/work/data/430410996#Topic/nombres_theorie_des> ; # Nombres, Théorie des
    schema:about <http://dewey.info/class/511.3/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/430410996#Topic/fonctions_recursives> ; # Fonctions récursives
    schema:about <http://id.worldcat.org/fast/1091984> ; # Recursive functions
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/293772464> ; # Reuben Louis Goodstein
    schema:datePublished "1964" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/430410996> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/430410996#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics.
    schema:name "Recursive number theory; a development of recursive arithmetic in a logic-free equation calculus."@en ;
    schema:productID "12677161" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/12677161#PublicationEvent/amsterdam_north_holland_pub_co_1964> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/430410996#Agent/north_holland_pub_co> ; # North-Holland Pub. Co.
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/12677161> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/430410996#Agent/north_holland_pub_co> # North-Holland Pub. Co.
    a bgn:Agent ;
    schema:name "North-Holland Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/430410996#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/12677161> ; # Recursive number theory; a development of recursive arithmetic in a logic-free equation calculus.
    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/430410996#Topic/fonctions_recursives> # Fonctions récursives
    a schema:Intangible ;
    schema:name "Fonctions récursives"@en ;
    schema:name "Fonctions récursives"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/430410996#Topic/nombres_theorie_des> # Nombres, Théorie des
    a schema:Intangible ;
    schema:name "Nombres, Théorie des"@en ;
    schema:name "Nombres, Théorie des"@fr ;
    .

<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://viaf.org/viaf/293772464> # Reuben Louis Goodstein
    a schema:Person ;
    schema:familyName "Goodstein" ;
    schema:givenName "Reuben Louis" ;
    schema:givenName "R. L." ;
    schema:name "Reuben Louis Goodstein" ;
    .

<http://www.worldcat.org/title/-/oclc/12677161>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/12677161> ; # Recursive number theory; a development of recursive arithmetic in a logic-free equation calculus.
    schema:dateModified "2019-05-21" ;
    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.