The Formalization of Mathematics.

Published in: J. Symb. Log. (1954)

Keyphrases

computer science
formal model
formal logic
machine learning
learning environment
video sequences
knowledge representation
learning styles
computer assisted instruction
computer assisted learning