Automath : a language for mathematics / Nicolaas Govert de Bruijn

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

schema:Book schema:ProductModel schema:CreativeWork
T.H.-report 68- WSK-05
rdfs:label "Automath : a language for mathematics / Nicolaas Govert de Bruijn"
schema:name "Automath : a language for mathematics"
schema:author Bruijn, Nicolaas Govert de (1918-2012)
schema:description "T.H.-report 68- WSK-05"
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/edadc3e5612d7ed4c02f9e7f0d9022fe>
http://purl.org/dc/terms#issued "1968"
schema:inLanguage "en"
schema:numberOfPages 47
schema:publication <https://data.bibliotheken.nl/.well-known/genid/9cc38fe775f136939c8d82bafb2bb7ee>
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql