skip to content
Theory of formal systems. Preview this item
ClosePreview this item
Checking...

Theory of formal systems.

Author: Raymond M Smullyan
Publisher: Princeton, N.J., Princeton University Press, 1961.
Series: Annals of mathematics studies, 47.
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

Genre/Form: Formales System
Additional Physical Format: Online version:
Smullyan, Raymond M.
Theory of formal systems.
Princeton, N.J., Princeton University Press, 1961
(OCoLC)654578841
Document Type: Book
All Authors / Contributors: Raymond M Smullyan
OCLC Number: 527319
Notes: "A revision of the author's recent doctoral dissertation--[Princeton]."
Description: 142 pages illustrations 26 cm.
Series Title: Annals of mathematics studies, 47.

Reviews

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

Tags

All user tags (2)

View most popular tags as: tag list | tag cloud

  • jds  (by 1 person)
  • logic  (by 1 person)

Similar Items

Related Subjects:(7)

User lists with this item (3)

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/527319> # Theory of formal systems.
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "527319" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/885437#Place/princeton_n_j> ; # Princeton, N.J.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/885437#Topic/fonctions_recursives> ; # Fonctions récursives
   schema:about <http://experiment.worldcat.org/entity/work/data/885437#Topic/entscheidbarkeit> ; # Entscheidbarkeit
   schema:about <http://id.worldcat.org/fast/1091984> ; # Recursive functions
   schema:about <http://dewey.info/class/512.8/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/885437#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://id.worldcat.org/fast/1018261> ; # Metamathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/885437#Topic/rekursivitat> ; # Rekursivität
   schema:about <http://experiment.worldcat.org/entity/work/data/885437#Topic/metamathematique> ; # Métamathématique
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/108832636> ; # Raymond M. Smullyan
   schema:datePublished "1961" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/885437> ;
   schema:genre "Formales System"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/885437#Series/annals_of_mathematics_studies> ; # Annals of mathematics studies ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/654578841> ;
   schema:name "Theory of formal systems."@en ;
   schema:productID "527319" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/527319#PublicationEvent/princeton_n_j_princeton_university_press_1961> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/885437#Agent/princeton_university_press> ; # Princeton University Press
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB6118841> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/527319> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/885437#Agent/princeton_university_press> # Princeton University Press
    a bgn:Agent ;
   schema:name "Princeton University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/885437#Place/princeton_n_j> # Princeton, N.J.
    a schema:Place ;
   schema:name "Princeton, N.J." ;
    .

<http://experiment.worldcat.org/entity/work/data/885437#Series/annals_of_mathematics_studies> # Annals of mathematics studies ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/527319> ; # Theory of formal systems.
   schema:name "Annals of mathematics studies ;" ;
   schema:name "Annals of mathematics studies," ;
    .

<http://experiment.worldcat.org/entity/work/data/885437#Topic/fonctions_recursives> # Fonctions récursives
    a schema:Intangible ;
   schema:name "Fonctions récursives"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/885437#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/885437#Topic/metamathematique> # Métamathématique
    a schema:Intangible ;
   schema:name "Métamathématique"@en ;
    .

<http://id.worldcat.org/fast/1018261> # Metamathematics
    a schema:Intangible ;
   schema:name "Metamathematics"@en ;
    .

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

<http://viaf.org/viaf/108832636> # Raymond M. Smullyan
    a schema:Person ;
   schema:familyName "Smullyan" ;
   schema:givenName "Raymond M." ;
   schema:name "Raymond M. Smullyan" ;
    .

<http://www.worldcat.org/oclc/654578841>
    a schema:CreativeWork ;
   rdfs:label "Theory of formal systems." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/527319> ; # Theory of formal systems.
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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