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://viaf.org/viaf/109830754> ; # Alonzo Church
    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#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:alternateName "Church's Thesis after seventy years" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/77455500> ; # Adam Olszewski
    schema:contributor <http://viaf.org/viaf/109830754> ; # Alonzo Church
    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#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/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<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://viaf.org/viaf/102069147> # Robert Janusz
    a schema:Person ;
    schema:familyName "Janusz" ;
    schema:givenName "Robert" ;
    schema:name "Robert Janusz" ;
    .

<http://viaf.org/viaf/109830754> # Alonzo Church
    a schema:Person ;
    schema:birthDate "1903" ;
    schema:deathDate "1995" ;
    schema:familyName "Church" ;
    schema:givenName "Alonzo" ;
    schema:name "Alonzo Church" ;
    .

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

<http://viaf.org/viaf/77455500> # Adam Olszewski
    a schema:Person ;
    schema:familyName "Olszewski" ;
    schema:givenName "Adam" ;
    schema:name "Adam Olszewski" ;
    .

<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.