Metamathematics in Coq
type: Book
type: ProductModel
type: CreativeWork
issued: 2003
about: p075665506
about: p077601874
about: p078451973
author: p175563527
author: p167990713
description: Auteursnaam op omslag: Dimitri Hendriks
description: Proefschrift Universiteit Utrecht
language: en
is part of: p089431863
isbn: 9039335702
main entity of page: https://data.bibliotheken.nl/.well-known/genid/99477ec0e740d8f8a3f40bc2c5df0587
number of pages: 95
label: Metamathematics in Coq / Roger Dimitri Alexander Hendriks