Gentzen calculi for modal propositional logic / Francesca Poggiolesi

<http://data.bibliotheken.nl/id/nbt/p332887111>

schema:Book schema:ProductModel schema:CreativeWork
rdfs:label "Gentzen calculi for modal propositional logic / Francesca Poggiolesi"
schema:name "Gentzen calculi for modal propositional logic"
schema:author Poggiolesi, Francesca
schema:sameAs <http://www.worldcat.org/oclc/707455417>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/3d2d9eef5ac32884afd82ba715bd738d>
http://purl.org/dc/terms#issued "2011"
schema:about <http://data.bibliotheken.nl/id/thes/p077601874>
schema:bookFormat schema:EBook
schema:inLanguage "en"
schema:isBasedOn Gentzen calculi for modal propositional logic / Francesca Poggiolesi
schema:isPartOf Trends in logic : Studia logica library
schema:isbn "9789048196708"
schema:numberOfPages 222
schema:publication <https://data.bibliotheken.nl/.well-known/genid/5b6ab2faa7c76b919523dfa2fe9d559e>

Inverse relations

[ .. ] → kbdef:hasDerivative → Gentzen calculi for modal propositional logic / Francesca Poggiolesi

Gentzen calculi for modal propositional logic / Francesca Poggiolesischema:ProductModel
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql