Elementary inductive definitions in HA : from strictly positive towards monotone
type: Book
type: ProductModel
type: CreativeWork
issued: 1989
about: p075665506
author: p074883720
author: p075387069
language: en
is part of: p053049292
main entity of page: https://data.bibliotheken.nl/.well-known/genid/16803a7682ef68388bb71f6a5b9902ec
number of pages: 10
label: Elementary inductive definitions in HA : from strictly positive towards monotone / Dirk Roorda