Metamathematics in Coq / Roger Dimitri Alexander Hendriks

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

Auteursnaam op omslag: Dimitri Hendriks

rdfs:label	"Metamathematics in Coq / Roger Dimitri Alexander Hendriks"
schema:name	"Metamathematics in Coq"
schema:author	Hendriks, Roger Dimitri Alexander (1973-)
	Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute
schema:description	"Auteursnaam op omslag: Dimitri Hendriks"
	"Proefschrift Universiteit Utrecht"
schema:sameAs	<http://www.worldcat.org/oclc/66391804>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/99477ec0e740d8f8a3f40bc2c5df0587>
http://purl.org/dc/terms#issued	"2003"
schema:about	wiskundige logica
	<http://data.bibliotheken.nl/id/thes/p077601874>
	Theory of proof
schema:inLanguage	"en"
schema:isPartOf	Quæstiones infinitæ : publications of the Department of Philosophy, Utrecht University
schema:isbn	"9039335702"
schema:numberOfPages	95
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/023c05efc7a0c4afee3ecea0dce77333>