Second order theories with ordinals and elementary comprehension.

Gerhard Jäger Thomas Strahm

Published in: Arch. Math. Log. (1995)

Keyphrases

higher order
theoretical framework
machine learning
high order
intelligent design
data sets
domain theory
concept mapping
formal models
school children