skip to content
Natural deduction : a proof-theoretical study Preview this item
ClosePreview this item
Checking...

Natural deduction : a proof-theoretical study

Author: Dag Prawitz
Publisher: Mineola, N.Y. : Dover, 2006.
Edition/Format:   Print book : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Dag Prawitz
ISBN: 0486446557 9780486446554
OCLC Number: 1061248148
Description: VIII, 113 S.
Responsibility: Dag Prawitz.

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/1061248148> # Natural deduction : a proof-theoretical study
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "1061248148" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1464055#Place/mineola_n_y> ; # Mineola, N.Y.
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1464055#Person/prawitz_dag> ; # Dag Prawitz
    schema:datePublished "2006" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1464055> ;
    schema:inLanguage "en" ;
    schema:name "Natural deduction : a proof-theoretical study" ;
    schema:productID "1061248148" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1061248148#PublicationEvent/mineola_n_y_dover_2006> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1464055#Agent/dover> ; # Dover
    schema:workExample <http://worldcat.org/isbn/9780486446554> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1061248148> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1464055#Person/prawitz_dag> # Dag Prawitz
    a schema:Person ;
    schema:familyName "Prawitz" ;
    schema:givenName "Dag" ;
    schema:name "Dag Prawitz" ;
    .

<http://experiment.worldcat.org/entity/work/data/1464055#Place/mineola_n_y> # Mineola, N.Y.
    a schema:Place ;
    schema:name "Mineola, N.Y." ;
    .

<http://worldcat.org/isbn/9780486446554>
    a schema:ProductModel ;
    schema:isbn "0486446557" ;
    schema:isbn "9780486446554" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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