skip to content
Church's Thesis after 70 years Preview this item
ClosePreview this item
Checking...

Church's Thesis after 70 years

Author: Alonzo Church; Adam Olszewski; Jan Woleński; Robert Janusz
Publisher: Frankfurt ; New Brunswick, NJ : Ontos, 2006.
Series: Ontos mathematical logic, v. 1.
Edition/Format:   Print book : EnglishView all editions and formats
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

Named Person: Alonzo Church; Alonzo Church
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Alonzo Church; Adam Olszewski; Jan Woleński; Robert Janusz
ISBN: 3938793090 9783938793091
OCLC Number: 70249434
Description: 551 pages : illustrations ; 22 cm.
Series Title: Ontos mathematical logic, v. 1.
Other Titles: Church's Thesis after seventy years
Responsibility: Adam Olszewski, Jan Woleński, Robert Janusz (eds.).

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(3)

User lists with this item (1)

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/70249434> # Church's Thesis after 70 years
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "70249434" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/367904973#Place/new_brunswick_nj> ; # New Brunswick, NJ
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/367904973#Place/frankfurt> ; # Frankfurt
   schema:about <http://experiment.worldcat.org/entity/work/data/367904973#Topic/stelling_van_church> ; # Stelling van Church
   schema:about <http://experiment.worldcat.org/entity/work/data/367904973#Person/church_alonzo_1903_1995> ; # Alonzo Church
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:alternateName "Church's Thesis after seventy years" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/367904973#Person/church_alonzo_1903_1995> ; # Alonzo Church
   schema:contributor <http://experiment.worldcat.org/entity/work/data/367904973#Person/olszewski_adam> ; # Adam Olszewski
   schema:contributor <http://viaf.org/viaf/102069147> ; # Robert Janusz
   schema:contributor <http://viaf.org/viaf/110163871> ; # Jan Woleński
   schema:datePublished "2006" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/367904973> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/367904973#Series/ontos_mathematical_logic> ; # Ontos mathematical logic ;
   schema:name "Church's Thesis after 70 years"@en ;
   schema:productID "70249434" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/70249434#PublicationEvent/frankfurt_new_brunswick_nj_ontos_2006> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/367904973#Agent/ontos> ; # Ontos
   schema:url <http://media.obvsg.at/AC05316962-1001> ;
   schema:url <http://deposit.ddb.de/cgi-bin/dokserv?id=2809985&prov=M&dok_var=1&dok_ext=htm> ;
   schema:workExample <http://worldcat.org/isbn/9783938793091> ;
   umbel:isLike <http://d-nb.info/979735629> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/70249434> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/367904973#Person/church_alonzo_1903_1995> # Alonzo Church
    a schema:Person ;
   schema:birthDate "1903" ;
   schema:deathDate "1995" ;
   schema:familyName "Church" ;
   schema:givenName "Alonzo" ;
   schema:name "Alonzo Church" ;
    .

<http://experiment.worldcat.org/entity/work/data/367904973#Person/olszewski_adam> # Adam Olszewski
    a schema:Person ;
   schema:familyName "Olszewski" ;
   schema:givenName "Adam" ;
   schema:name "Adam Olszewski" ;
    .

<http://experiment.worldcat.org/entity/work/data/367904973#Place/new_brunswick_nj> # New Brunswick, NJ
    a schema:Place ;
   schema:name "New Brunswick, NJ" ;
    .

<http://experiment.worldcat.org/entity/work/data/367904973#Series/ontos_mathematical_logic> # Ontos mathematical logic ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/70249434> ; # Church's Thesis after 70 years
   schema:name "Ontos mathematical logic ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/367904973#Topic/stelling_van_church> # Stelling van Church
    a schema:Intangible ;
   schema:name "Stelling van Church"@en ;
    .

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

<http://viaf.org/viaf/102069147> # Robert Janusz
    a schema:Person ;
   schema:familyName "Janusz" ;
   schema:givenName "Robert" ;
   schema:name "Robert Janusz" ;
    .

<http://viaf.org/viaf/110163871> # Jan Woleński
    a schema:Person ;
   schema:familyName "Woleński" ;
   schema:givenName "Jan" ;
   schema:name "Jan Woleński" ;
    .

<http://worldcat.org/isbn/9783938793091>
    a schema:ProductModel ;
   schema:isbn "3938793090" ;
   schema:isbn "9783938793091" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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