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://viaf.org/viaf/108125121> ; # Franz Guenthner
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3782309#Person/gabbay_dov_m> ; # Dov M. Gabbay
    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#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://viaf.org/viaf/108125121> # Franz Guenthner
    a schema:Person ;
    schema:familyName "Guenthner" ;
    schema:givenName "Franz" ;
    schema:name "Franz Guenthner" ;
    .

<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.