skip to content
First-order logic Preview this item
ClosePreview this item
Checking...

First-order logic

Author: Raymond M Smullyan
Publisher: New York : Dover, 1995.
Series: Dover books on mathematics
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

Document Type: Book
All Authors / Contributors: Raymond M Smullyan
ISBN: 0486683702 9780486683706
OCLC Number: 851022841
Notes: Indice.
"This Dover edition, first published in 1995, is an unabridged, corrected republication of the work first published by Springer-Verlag, New York, 1968" V. de la port.
Description: XII, 158 p. ; 22 cm.
Series Title: Dover books on mathematics
Responsibility: Raymond 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/851022841> # First-order logic
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "851022841" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/1559553#Topic/logica_simbolica_y_matematica> ; # Lógica simbólica y matemática
    schema:about <http://experiment.worldcat.org/entity/work/data/1559553#Topic/logica_matematica> ; # Lógica matemática
    schema:about <http://dewey.info/class/511.3/e19/> ;
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/108832636> ; # Raymond M. Smullyan
    schema:datePublished "1995" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1559553> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1559553#Series/dover_books_on_mathematics> ; # Dover books on mathematics
    schema:name "First-order logic" ;
    schema:numberOfPages "158" ;
    schema:productID "851022841" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/851022841#PublicationEvent/new_york_dover_1995> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1559553#Agent/dover> ; # Dover
    schema:workExample <http://worldcat.org/isbn/9780486683706> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/851022841> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1559553#Series/dover_books_on_mathematics> # Dover books on mathematics
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/851022841> ; # First-order logic
    schema:name "Dover books on mathematics" ;
    .

<http://experiment.worldcat.org/entity/work/data/1559553#Topic/logica_matematica> # Lógica matemática
    a schema:Intangible ;
    schema:name "Lógica matemática" ;
    .

<http://experiment.worldcat.org/entity/work/data/1559553#Topic/logica_simbolica_y_matematica> # Lógica simbólica y matemática
    a schema:Intangible ;
    schema:name "Lógica simbólica y matemática" ;
    .

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

<http://worldcat.org/isbn/9780486683706>
    a schema:ProductModel ;
    schema:isbn "0486683702" ;
    schema:isbn "9780486683706" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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