Definieerbaarheid
Inverse relations
[ .. ] → schema:about → Definieerbaarheid
Definability and interpolation : model-theoretic investigations / Eva Hooglandschema:ProductModel
Definability and interpolation : model-theoretic investigations / Eva Hooglandschema:ProductModel
Proof-theoretical analyses of transfinite recursion and inductive definitions = Bewijstheoretische analyses van transfiniete recursie en inductieve definities / door Jan Terlouwschema:ProductModel