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

Extensions of classical logic

Author: Dov M Gabbay; Franz Guenthner
Publisher: Dordrecht : Reidel, 1984.
Series: Synthese library, 165.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
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

Genre/Form: Aufsatzsammlung
Document Type: Book
All Authors / Contributors: Dov M Gabbay; Franz Guenthner
ISBN: 9027716048 9789027716040
OCLC Number: 611206503
Description: X. 776 S.
Series Title: Synthese library, 165.
Responsibility: ed. by 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/611206503> # Extensions of classical logic
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "611206503" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3782309#Place/dordrecht> ; # Dordrecht
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/3782309#Thing/f_4> ; # F.4
   schema:about <http://experiment.worldcat.org/entity/work/data/3782309#Topic/logik> ; # Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/3782309#Thing/einfuhrungen_handbucher_sammelbande_und_bibliographien> ; # Einführungen, Handbücher, Sammelbände und Bibliographien
   schema:about <http://experiment.worldcat.org/entity/work/data/3782309#Thing/logik_und_grundlagen_metamathematik_nonstandard_analysis_einschl_grundlagen_der_analysis_aufbau_des_zahlensystems_modelltheorie_pradikatenkalkul_beweistheorie_unentscheidbarkeit_zwei_und_mehrwertige_logik_formale_sprachen_semantik_und_linguistik_boolesche_algebren_abstrakte_automaten> ; # Logik und Grundlagen, Metamathematik. Nonstandard-Analysis (einschl. Grundlagen der Analysis), Aufbau des Zahlensystems, Modelltheorie, Prädikatenkalkül, Beweistheorie, Unentscheidbarkeit, zwei- und mehrwertige Logik, Formale Sprachen, Semantik und Linguistik, Boolesche Algebren, Abstrakte Automaten
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3782309#Person/gabbay_dov_m> ; # Dov M. Gabbay
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3782309#Person/guenthner_franz> ; # Franz Guenthner
   schema:datePublished "1984" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3782309> ;
   schema:genre "Aufsatzsammlung" ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3782309#Series/synthese_library> ; # Synthese library ;
   schema:name "Extensions of classical logic" ;
   schema:productID "611206503" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/611206503#PublicationEvent/dordrecht_reidel_1984> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3782309#Agent/reidel> ; # Reidel
   schema:workExample <http://worldcat.org/isbn/9789027716040> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/611206503> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3782309#Person/gabbay_dov_m> # Dov M. Gabbay
    a schema:Person ;
   schema:familyName "Gabbay" ;
   schema:givenName "Dov M." ;
   schema:name "Dov M. Gabbay" ;
    .

<http://experiment.worldcat.org/entity/work/data/3782309#Person/guenthner_franz> # Franz Guenthner
    a schema:Person ;
   schema:familyName "Guenthner" ;
   schema:givenName "Franz" ;
   schema:name "Franz Guenthner" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/3782309#Thing/einfuhrungen_handbucher_sammelbande_und_bibliographien> # Einführungen, Handbücher, Sammelbände und Bibliographien
    a schema:Thing ;
   schema:name "Einführungen, Handbücher, Sammelbände und Bibliographien" ;
    .

<http://experiment.worldcat.org/entity/work/data/3782309#Thing/logik_und_grundlagen_metamathematik_nonstandard_analysis_einschl_grundlagen_der_analysis_aufbau_des_zahlensystems_modelltheorie_pradikatenkalkul_beweistheorie_unentscheidbarkeit_zwei_und_mehrwertige_logik_formale_sprachen_semantik_und_linguistik_boolesche_algebren_abstrakte_automaten> # Logik und Grundlagen, Metamathematik. Nonstandard-Analysis (einschl. Grundlagen der Analysis), Aufbau des Zahlensystems, Modelltheorie, Prädikatenkalkül, Beweistheorie, Unentscheidbarkeit, zwei- und mehrwertige Logik, Formale Sprachen, Semantik und Linguistik, Boolesche Algebren, Abstrakte Automaten
    a schema:Thing ;
   schema:name "Logik und Grundlagen, Metamathematik. Nonstandard-Analysis (einschl. Grundlagen der Analysis), Aufbau des Zahlensystems, Modelltheorie, Prädikatenkalkül, Beweistheorie, Unentscheidbarkeit, zwei- und mehrwertige Logik, Formale Sprachen, Semantik und Linguistik, Boolesche Algebren, Abstrakte Automaten" ;
    .

<http://worldcat.org/isbn/9789027716040>
    a schema:ProductModel ;
   schema:isbn "9027716048" ;
   schema:isbn "9789027716040" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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