Finite Sets and Natural Numbers in Intuitionistic TT Without Extensionality.

Daniel Dzierzgowski

Published in: Stud Logica (1998)

Keyphrases

finite sets
piecewise linear
linearly separable
positive and negative examples
learning algorithm
small number
data exchange