skip to content
Handbook of Philosophical Logic Preview this item
ClosePreview this item
Checking...

Handbook of Philosophical Logic

Author: Gabbay.; Nijssen.
Publisher: [S.l.] : Springer Netherlands, 2003.
Edition/Format:   eBook : DocumentView all editions and formats
Summary:

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. The first edition was the second handbook published for the logic com- nity. The  Read more...

Rating:

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

Find a copy online

Find a copy in the library

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

Details

Additional Physical Format: (OCoLC)713216606
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Gabbay.; Nijssen.
ISBN: 9781402016448 1402016441 9789401704649 9401704643 9781402006999 1402006993 9781402005831 1402005830 9781402002359 1402002351 9781402001390 1402001398
OCLC Number: 1012455354
Notes: Title from content provider.
Description: 1 online resource.
Contents: Editorial Preface; D.M. Gabbay. Rewriting Logic as a Logical and Semantic Framework; N. Marti-Oliet, J. Meseguer. Logical Frameworks; D. Basin, S. Matthews. Proof Theory and Meaning; G. Sundholm. Goal Directed Deductions; D.M. Gabbay, N. Olivetti. On Negation, Completeness and Consistency; A. Avron. Logic as General Rationality: A Survey; T. Sales. Index.
Responsibility: Gabbay.

Reviews

Editorial reviews

Publisher Synopsis

"The best starting point for exploring any of the topics in logic" Encyclopaedia Britannica

 
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/1012455354> # Handbook of Philosophical Logic
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "1012455354" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4620018503#Place/s_l> ; # S.l.
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/4620018503#Person/nijssen> ; # Nijssen.
    schema:creator <http://experiment.worldcat.org/entity/work/data/4620018503#Person/gabbay> ; # Gabbay.
    schema:datePublished "2003" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4620018503> ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/713216606> ;
    schema:name "Handbook of Philosophical Logic" ;
    schema:productID "1012455354" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1012455354#PublicationEvent/s_l_springer_netherlands_2003> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4620018503#Agent/springer_netherlands> ; # Springer Netherlands
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-1-4020-0139-0> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-1-4020-0699-9> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-1-4020-0583-1> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-1-4020-1644-8> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-1-4020-0235-9> ;
    schema:workExample <http://worldcat.org/isbn/9781402002359> ;
    schema:workExample <http://worldcat.org/isbn/9789401704649> ;
    schema:workExample <http://worldcat.org/isbn/9781402016448> ;
    schema:workExample <http://worldcat.org/isbn/9781402006999> ;
    schema:workExample <http://worldcat.org/isbn/9781402001390> ;
    schema:workExample <http://worldcat.org/isbn/9781402005831> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1012455354> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4620018503#Agent/springer_netherlands> # Springer Netherlands
    a bgn:Agent ;
    schema:name "Springer Netherlands" ;
    .

<http://worldcat.org/isbn/9781402001390>
    a schema:ProductModel ;
    schema:isbn "1402001398" ;
    schema:isbn "9781402001390" ;
    .

<http://worldcat.org/isbn/9781402002359>
    a schema:ProductModel ;
    schema:isbn "1402002351" ;
    schema:isbn "9781402002359" ;
    .

<http://worldcat.org/isbn/9781402005831>
    a schema:ProductModel ;
    schema:isbn "1402005830" ;
    schema:isbn "9781402005831" ;
    .

<http://worldcat.org/isbn/9781402006999>
    a schema:ProductModel ;
    schema:isbn "1402006993" ;
    schema:isbn "9781402006999" ;
    .

<http://worldcat.org/isbn/9781402016448>
    a schema:ProductModel ;
    schema:isbn "1402016441" ;
    schema:isbn "9781402016448" ;
    .

<http://worldcat.org/isbn/9789401704649>
    a schema:ProductModel ;
    schema:isbn "9401704643" ;
    schema:isbn "9789401704649" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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