skip to content
Recursive function theory. Preview this item
ClosePreview this item
Checking...

Recursive function theory.

Author: Clifford Spector; J C E Dekker; American Mathematical Society.; Association for Computing Machinery.; Association for Symbolic Logic.
Publisher: Providence, R.I. : American Mathematical Society, 1962.
Series: Proceedings of symposia in pure mathematics, v. 5.
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: Conference papers and proceedings
Congresses
Additional Physical Format: Online version:
Symposium in Pure Mathematics (5th : 1961 : New York, N.Y.).
Recursive function theory.
Providence, R.I. : American Mathematical Society, 1962
(OCoLC)654610703
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Clifford Spector; J C E Dekker; American Mathematical Society.; Association for Computing Machinery.; Association for Symbolic Logic.
OCLC Number: 1024387
Notes: "Proceedings of the Fifth Symposium in Pure Mathematics of the American Mathematical Society, held at the Hotel New Yorker, New York, New York, April 6-7, 1961"--Title page verso.
Sponsored by the American Mathematical Society, the Association for Computing Machinery, and the Association for Symbolic Logic.
Editor, J.C.E. Dekker.
"This volume is dedicated to the memory of Professor Clifford Spector who died on July 29, 1961"--Preface.
Description: vii, 247 pages : illustrations, portrait ; 26 cm.
Series Title: Proceedings of symposia in pure mathematics, v. 5.

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(3)

User lists with this item (2)

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/1024387> # Recursive function theory.
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "1024387" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/riu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/111978768#Place/providence_r_i> ; # Providence, R.I.
    schema:about <http://dewey.info/class/517.5/> ;
    schema:about <http://id.worldcat.org/fast/1091984> ; # Recursive functions
    schema:about <http://id.loc.gov/authorities/subjects/sh85112014> ; # Recursive functions
    schema:about <http://experiment.worldcat.org/entity/work/data/111978768#Topic/fonctions_recursives_congres> ; # Fonctions récursives--Congrès
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/111978768#Organization/american_mathematical_society> ; # American Mathematical Society.
    schema:contributor <http://viaf.org/viaf/2134401> ; # Clifford Spector
    schema:contributor <http://viaf.org/viaf/81051207> ; # Jacob C. E. Dekker
    schema:contributor <http://viaf.org/viaf/142787442> ; # Association for Symbolic Logic.
    schema:contributor <http://experiment.worldcat.org/entity/work/data/111978768#Organization/association_for_computing_machinery> ; # Association for Computing Machinery.
    schema:creator <http://experiment.worldcat.org/entity/work/data/111978768#Meeting/symposium_in_pure_mathematics_5th_1961_new_york_n_y> ; # Symposium in Pure Mathematics (5th : 1961 : New York, N.Y.)
    schema:datePublished "1962" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/111978768> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/111978768#Series/proceedings_of_symposia_in_pure_mathematics> ; # Proceedings of symposia in pure mathematics ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/654610703> ;
    schema:name "Recursive function theory."@en ;
    schema:productID "1024387" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1024387#PublicationEvent/providence_r_i_american_mathematical_society_1962> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/111978768#Agent/american_mathematical_society> ; # American Mathematical Society
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1024387> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/111978768#Agent/american_mathematical_society> # American Mathematical Society
    a bgn:Agent ;
    schema:name "American Mathematical Society" ;
    .

<http://experiment.worldcat.org/entity/work/data/111978768#Meeting/symposium_in_pure_mathematics_5th_1961_new_york_n_y> # Symposium in Pure Mathematics (5th : 1961 : New York, N.Y.)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/111978768#Place/new_york_n_y> ; # New York, N.Y.)
    schema:name "Symposium in Pure Mathematics (5th : 1961 : New York, N.Y.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/111978768#Organization/american_mathematical_society> # American Mathematical Society.
    a schema:Organization ;
    schema:name "American Mathematical Society." ;
    .

<http://experiment.worldcat.org/entity/work/data/111978768#Organization/association_for_computing_machinery> # Association for Computing Machinery.
    a schema:Organization ;
    schema:name "Association for Computing Machinery." ;
    .

<http://experiment.worldcat.org/entity/work/data/111978768#Place/new_york_n_y> # New York, N.Y.)
    a schema:Place ;
    schema:name "New York, N.Y.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/111978768#Place/providence_r_i> # Providence, R.I.
    a schema:Place ;
    schema:name "Providence, R.I." ;
    .

<http://experiment.worldcat.org/entity/work/data/111978768#Series/proceedings_of_symposia_in_pure_mathematics> # Proceedings of symposia in pure mathematics ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1024387> ; # Recursive function theory.
    schema:name "Proceedings of symposia in pure mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/111978768#Topic/fonctions_recursives_congres> # Fonctions récursives--Congrès
    a schema:Intangible ;
    schema:name "Fonctions récursives--Congrès"@en ;
    schema:name "Fonctions récursives--Congrès"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh85112014> # Recursive functions
    a schema:Intangible ;
    schema:name "Recursive functions"@en ;
    .

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

<http://viaf.org/viaf/142787442> # Association for Symbolic Logic.
    a schema:Organization ;
    schema:name "Association for Symbolic Logic." ;
    .

<http://viaf.org/viaf/2134401> # Clifford Spector
    a schema:Person ;
    schema:birthDate "1930" ;
    schema:deathDate "1961" ;
    schema:familyName "Spector" ;
    schema:givenName "Clifford" ;
    schema:name "Clifford Spector" ;
    .

<http://viaf.org/viaf/81051207> # Jacob C. E. Dekker
    a schema:Person ;
    schema:birthDate "1921" ;
    schema:familyName "Dekker" ;
    schema:givenName "Jacob C. E." ;
    schema:givenName "J. C. E." ;
    schema:name "Jacob C. E. Dekker" ;
    .

<http://www.worldcat.org/oclc/654610703>
    a schema:CreativeWork ;
    rdfs:label "Recursive function theory." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1024387> ; # Recursive function theory.
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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