skip to content
Undecidable theories Preview this item
ClosePreview this item
Checking...

Undecidable theories

Author: Alfred Tarski; Andrzej Mostowski; Raphael M Robinson
Publisher: Amsterdam : North-Holland, 1953.
Series: Studies in logic and the foundations of mathematics, v. 13.
Edition/Format:   eBook : Document : 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: Electronic books
Additional Physical Format: Print version:
Tarski, Alfred.
Undecidable theories.
Amsterdam, North-Holland Pub. Co., 1953
(DLC) 54004341
(OCoLC)889316
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Alfred Tarski; Andrzej Mostowski; Raphael M Robinson
ISBN: 9780444533784 0444533788
OCLC Number: 428097401
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (ix, 98 pages).
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Contents: General method in proofs of undecidability --
Undecidability and essential undecidability in arithmetic --
Undeciability of the elementary theory of groups.
Series Title: Studies in logic and the foundations of mathematics, v. 13.
Responsibility: edited by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson.

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/428097401> # Undecidable theories
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "428097401" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1356621#Place/amsterdam> ; # Amsterdam
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    schema:about <http://id.worldcat.org/fast/949806> ; # Gödel's theorem
    schema:about <http://dewey.info/class/511.3/e22/> ;
    schema:about <http://id.worldcat.org/fast/888990> ; # Decidability (Mathematical logic)
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1356621#Person/tarski_alfred_1901_1983> ; # Alfred Tarski
    schema:contributor <http://viaf.org/viaf/5059777> ; # Andrzej Mostowski
    schema:contributor <http://viaf.org/viaf/119628291> ; # Raphael Mitchel Robinson
    schema:datePublished "1953" ;
    schema:description "General method in proofs of undecidability -- Undecidability and essential undecidability in arithmetic -- Undeciability of the elementary theory of groups."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1356621> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1356621#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/889316> ;
    schema:name "Undecidable theories"@en ;
    schema:productID "428097401" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/428097401#PublicationEvent/amsterdam_north_holland_1953> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1356621#Agent/north_holland> ; # North-Holland
    schema:url <http://catalog.hathitrust.org/api/volumes/oclc/889316.html> ;
    schema:url <http://www.sciencedirect.com/science/book/9780444533784> ;
    schema:url <http://books.google.com/books?id=-S04AAAAMAAJ> ;
    schema:workExample <http://worldcat.org/isbn/9780444533784> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/428097401> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1356621#Agent/north_holland> # North-Holland
    a bgn:Agent ;
    schema:name "North-Holland" ;
    .

<http://experiment.worldcat.org/entity/work/data/1356621#Person/tarski_alfred_1901_1983> # Alfred Tarski
    a schema:Person ;
    schema:birthDate "1901" ;
    schema:deathDate "1983" ;
    schema:familyName "Tarski" ;
    schema:givenName "Alfred" ;
    schema:name "Alfred Tarski" ;
    .

<http://experiment.worldcat.org/entity/work/data/1356621#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/428097401> ; # Undecidable theories
    schema:name "Studies in logic and the foundations of mathematics ;" ;
    schema:name "Studies in Logic and the Foundations of Mathematics ;" ;
    .

<http://id.worldcat.org/fast/888990> # Decidability (Mathematical logic)
    a schema:Intangible ;
    schema:name "Decidability (Mathematical logic)"@en ;
    .

<http://id.worldcat.org/fast/949806> # Gödel's theorem
    a schema:Intangible ;
    schema:name "Gödel's theorem"@en ;
    .

<http://viaf.org/viaf/119628291> # Raphael Mitchel Robinson
    a schema:Person ;
    schema:birthDate "1911" ;
    schema:familyName "Robinson" ;
    schema:givenName "Raphael Mitchel" ;
    schema:givenName "Raphael M." ;
    schema:name "Raphael Mitchel Robinson" ;
    .

<http://viaf.org/viaf/5059777> # Andrzej Mostowski
    a schema:Person ;
    schema:familyName "Mostowski" ;
    schema:givenName "Andrzej" ;
    schema:name "Andrzej Mostowski" ;
    .

<http://worldcat.org/isbn/9780444533784>
    a schema:ProductModel ;
    schema:isbn "0444533788" ;
    schema:isbn "9780444533784" ;
    .

<http://www.worldcat.org/oclc/889316>
    a schema:CreativeWork ;
    rdfs:label "Undecidable theories." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/428097401> ; # Undecidable theories
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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