skip to content
Elements of classical logic Preview this item
ClosePreview this item
Checking...

Elements of classical logic

Author: Dov M Gabbay; Franz Guenthner
Publisher: Dordrecht, D. Reidel. 1983 :
Series: Handbook of philosophical logic, v. 1.; Synthese library, v. 164.
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: Dov M Gabbay; Franz Guenthner
ISBN: 9027715424 9789027715425
OCLC Number: 299391356
Description: xi, 493 p. : ill. ; 23 cm.
Series Title: Handbook of philosophical logic, v. 1.; Synthese library, v. 164.
Responsibility: edited biy D. Gabbay and F. Guenthner.

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/299391356> # Elements of classical logic
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "299391356" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/180124776#Place/dordrecht> ; # Dordrecht
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/180124776#Topic/logique_1er_ordre> ; # logique 1er ordre
   schema:about <http://experiment.worldcat.org/entity/work/data/180124776#Thing/logique> ; # Logique
   schema:about <http://experiment.worldcat.org/entity/work/data/180124776#Topic/theorie_decision> ; # théorie décision
   schema:about <http://experiment.worldcat.org/entity/work/data/180124776#Topic/calcul_predicat> ; # calcul prédicat
   schema:about <http://experiment.worldcat.org/entity/work/data/180124776#Topic/logique> ; # Logique
   schema:about <http://experiment.worldcat.org/entity/work/data/180124776#Topic/theorie_recursivite> ; # théorie récursivité
   schema:about <http://experiment.worldcat.org/entity/work/data/180124776#Topic/deduction> ; # déduction
   schema:about <http://experiment.worldcat.org/entity/work/data/180124776#Topic/algorithme> ; # algorithme
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/76325399> ; # Dov M. Gabbay
   schema:contributor <http://viaf.org/viaf/108125121> ; # Franz Guenthner
   schema:datePublished "1983 :" ;
   schema:datePublished "1983/1989" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/180124776> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/180124776#Series/synthese_library> ; # Synthese library ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/180124776#Series/handbook_of_philosophical_logic> ; # Handbook of philosophical logic ;
   schema:name "Elements of classical logic" ;
   schema:numberOfPages "493" ;
   schema:productID "299391356" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/299391356#PublicationEvent/dordrecht_1983_d_reidel> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/180124776#Agent/d_reidel> ; # D. Reidel.
   schema:workExample <http://worldcat.org/isbn/9789027715425> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/299391356> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/180124776#Series/handbook_of_philosophical_logic> # Handbook of philosophical logic ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/299391356> ; # Elements of classical logic
   schema:name "Handbook of philosophical logic ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/180124776#Series/synthese_library> # Synthese library ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/299391356> ; # Elements of classical logic
   schema:name "Synthese library ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/180124776#Topic/theorie_decision> # théorie décision
    a schema:Intangible ;
   schema:name "théorie décision" ;
    .

<http://experiment.worldcat.org/entity/work/data/180124776#Topic/theorie_recursivite> # théorie récursivité
    a schema:Intangible ;
   schema:name "théorie récursivité" ;
    .

<http://viaf.org/viaf/108125121> # Franz Guenthner
    a schema:Person ;
   schema:familyName "Guenthner" ;
   schema:givenName "Franz" ;
   schema:name "Franz Guenthner" ;
    .

<http://viaf.org/viaf/76325399> # Dov M. Gabbay
    a schema:Person ;
   schema:familyName "Gabbay" ;
   schema:givenName "Dov M." ;
   schema:name "Dov M. Gabbay" ;
    .

<http://worldcat.org/isbn/9789027715425>
    a schema:ProductModel ;
   schema:isbn "9027715424" ;
   schema:isbn "9789027715425" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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