@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/p141649925> a schema1:Book,
        schema1:CreativeWork,
        schema1:ProductModel ;
    rdfs:label "Language in action : categories, lambdas and dynamic logic / Johan van Benthem" ;
    dcterms1:issued "1995" ;
    schema1:about <http://data.bibliotheken.nl/id/thes/p077601874>,
        <http://data.bibliotheken.nl/id/thes/p078465710>,
        <http://data.bibliotheken.nl/id/thes/p078569338>,
        <http://data.bibliotheken.nl/id/thes/p07859359X> ;
    schema1:author <http://data.bibliotheken.nl/id/thes/p067852645> ;
    schema1:bookEdition "[New ed.]" ;
    schema1:description "Oorspr. uitg.: Amsterdam : Elsevier Science, 1991" ;
    schema1:inLanguage "en" ;
    schema1:isbn "0262720248" ;
    schema1:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/e3807a9037452976735f4f95ccb98b4b> ;
    schema1:name "Language in action : categories, lambdas and dynamic logic" ;
    schema1:numberOfPages 365 ;
    schema1:publication <https://data.bibliotheken.nl/.well-known/genid/70dc0d68ba40ace6e04f5698966fdbc2> ;
    schema1:sameAs <http://www.worldcat.org/oclc/32391915> .