Relating proof systems for recursive types / Clemens Armin Grabmayer

http://data.bibliotheken.nl/id/nbt/p274788039 an entity of type: CreativeWork

Relating proof systems for recursive types / Clemens Armin Grabmayer 
9090190864 
Proefschrift Vrije Universiteit Amsterdam 
en 
Relating proof systems for recursive types 
xsd:integer 435 
schema:CreativeWork
schema:Book
schema:ProductModel
<http://data.bibliotheken.nl/id/thes/p275101673>
<http://www.worldcat.org/oclc/66500642>
<http://data.bibliotheken.nl/id/thes/p077605179>
<http://data.bibliotheken.nl/id/thes/p078646251>
<http://data.bibliotheken.nl/id/thes/p078451973>
<http://data.bibliotheken.nl/id/thes/p075658283>
_:04922360701adfc848009c0e6a228c75
_:8cd697396143ee060333e6628f7cefce

blank nodes

_:04922360701adfc848009c0e6a228c75
xsd:gYear 2005 
_:8cd697396143ee060333e6628f7cefce
274788039 
xsd:date 2005-04-22 
xsd:date 2021-10-11 
schema:AboutPage
<http://data.bibliotheken.nl/doc/nbt/p274788039>
<http://creativecommons.org/publicdomain/zero/1.0/>
<http://data.bibliotheken.nl/id/dataset/nbt>
<http://data.bibliotheken.nl/id/nbt/p274788039>

data from the linked data cloud