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

Theory of formal systems

Author: Raymond M Smullyan
Publisher: [Place of publication not identified] : Princeton U.P., 1961.
Series: Annals of mathematics studies, no. 47.
Edition/Format:   eBook : Document : English : Revised editionView all editions and formats
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

Genre/Form: Electronic books
Additional Physical Format: Print version:
Smullyan, Raymond M. (Raymond Merrill).
Theory of formal systems.
[Place of publication not identified] : Princeton U.P., 1961
(OCoLC)504032368
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Raymond M Smullyan
ISBN: 9781400882007 1400882001
OCLC Number: 945632447
Description: 1 online resource (147 pages)
Series Title: Annals of mathematics studies, no. 47.
Responsibility: R.M. Smullyan.

Reviews

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

Tags

Be the first.
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/945632447> # Theory of formal systems
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "945632447" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/xxu> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/885437#Topic/recursive_functions> ; # Recursive functions
    schema:about <http://experiment.worldcat.org/entity/work/data/885437#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/885437#Topic/science_system_theory> ; # SCIENCE / System Theory
    schema:about <http://dewey.info/class/511.33/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/885437#Topic/mathematics> ; # Mathematics
    schema:bookEdition "Revised edition." ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/885437#Person/smullyan_raymond_m_raymond_merrill> ; # Raymond Merrill Smullyan
    schema:datePublished "1961" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/885437> ;
    schema:genre "Electronic books"@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/504032368> ;
    schema:name "Theory of formal systems"@en ;
    schema:productID "945632447" ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1432972> ;
    schema:url <http://lib.myilibrary.com?id=969439> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://www.jstor.org/stable/10.2307/j.ctt1b7x7ww> ;
    schema:url <https://doi.org/10.1515/9781400882007> ;
    schema:url <http://www.jstor.org/stable/10.2307/j.ctt1b7x7ww> ;
    schema:url <http://dx.doi.org/10.1515/9781400882007> ;
    schema:url <http://0-www.jstor.org.lib.exeter.ac.uk/stable/10.2307/j.ctt1b7x7ww> ;
    schema:workExample <http://worldcat.org/isbn/9781400882007> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/945632447> ;
    .


Related Entities

<http://0-www.jstor.org.lib.exeter.ac.uk/stable/10.2307/j.ctt1b7x7ww>
    rdfs:comment "Available online via JSTOR. Please log in using your Exeter IT login if prompted." ;
    .

<http://experiment.worldcat.org/entity/work/data/885437#Person/smullyan_raymond_m_raymond_merrill> # Raymond Merrill Smullyan
    a schema:Person ;
    schema:familyName "Smullyan" ;
    schema:givenName "Raymond Merrill" ;
    schema:givenName "Raymond M." ;
    schema:name "Raymond Merrill Smullyan" ;
    .

<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/945632447> ; # Theory of formal systems
    schema:name "Annals of mathematics studies ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/885437#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/885437#Topic/recursive_functions> # Recursive functions
    a schema:Intangible ;
    schema:name "Recursive functions"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/885437#Topic/science_system_theory> # SCIENCE / System Theory
    a schema:Intangible ;
    schema:name "SCIENCE / System Theory"@en ;
    .

<http://lib.myilibrary.com?id=969439>
    rdfs:comment "Connect to MyiLibrary resource." ;
    .

<http://worldcat.org/isbn/9781400882007>
    a schema:ProductModel ;
    schema:isbn "1400882001" ;
    schema:isbn "9781400882007" ;
    .

<http://www.worldcat.org/oclc/504032368>
    a schema:CreativeWork ;
    rdfs:label "Theory of formal systems." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/945632447> ; # 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.