@prefix dcterms1: <http://purl.org/dc/terms#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://data.bibliotheken.nl/id/nbt/p329776150> a schema1:Book,
        schema1:CreativeWork,
        schema1:ProductModel ;
    rdfs:label "Natural deduction, hybrid systems and modal logics / by Andrzej Indrzejczak" ;
    dcterms1:issued "2010" ;
    schema1:about <http://data.bibliotheken.nl/id/thes/p077593421>,
        <http://data.bibliotheken.nl/id/thes/p078480930>,
        <http://data.bibliotheken.nl/id/thes/p078593441> ;
    schema1:associatedMedia "http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2011-02-17/2/9789048187850",
        "http://dx.doi.org/10.1007/978-90-481-8785-0",
        "http://proxy.library.carleton.ca/login?url=http://dx.doi.org/10.1007/978-90-481-8785-0",
        "http://public.eblib.com/EBLPublic/PublicView.do?ptiID=603625",
        "http://qe2a-proxy.mun.ca/login?url=http://dx.doi.org/10.1007/978-90-481-8785-0",
        "http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=337826" ;
    schema1:author <https://data.bibliotheken.nl/.well-known/genid/24198c217b9aa2cc7cf095dd55d104d7>,
        <https://data.bibliotheken.nl/.well-known/genid/62bcfa35251cd7b67f67099d99109409> ;
    schema1:bookFormat schema1:EBook ;
    schema1:inLanguage "en" ;
    schema1:isbn "9789048187850" ;
    schema1:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/13a529c65d8f1e04b4f930399fdd7775> ;
    schema1:name "Natural deduction, hybrid systems and modal logics" ;
    schema1:numberOfPages 491 ;
    schema1:publication <https://data.bibliotheken.nl/.well-known/genid/bb00d96fd7daccfbfb7ccb6cab24a151> ;
    schema1:sameAs <http://www.worldcat.org/oclc/819485078> .