|
rdfs:label
|
"Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn"
|
|
schema:name
|
"Lectures on the Curry-Howard isomorphism"
|
|
schema:author
|
<https://data.bibliotheken.nl/.well-known/genid/d92c342bf99abb88046601e9f7938f99>
|
|
<https://data.bibliotheken.nl/.well-known/genid/7d6d9f135628d964d9a73d032f5b081d>
|
|
schema:contributor
|
<https://data.bibliotheken.nl/.well-known/genid/387371eaf4b8d7895805cb0b36ccbec6>
|
|
schema:description
|
"Electronic reproduction. Boulder, Colo : NetLibrary, 2007. Available via World Wide Web. Access may be limited to NetLibrary affiliated libraries"
|
|
schema:sameAs
|
<http://www.worldcat.org/oclc/221269276>
|
|
schema:mainEntityOfPage
|
<https://data.bibliotheken.nl/.well-known/genid/a088f510deaef6e8532621995b2deb1d>
|
|
http://purl.org/dc/terms#issued
|
"2006"
|
|
schema:associatedMedia
|
<http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=196231>
|
|
schema:bookFormat
|
schema:EBook
|
|
schema:inLanguage
|
"en"
|
|
schema:isPartOf
|
Studies in logic and the foundations of mathematics
|
|
schema:isbn
|
"9780080478920"
|
|
"0080478921"
|
|
schema:numberOfPages
|
442
|
|
schema:publication
|
<https://data.bibliotheken.nl/.well-known/genid/41228e378da4860033c1b96972cf5894>
|