Tarski's Theory of the Formal Correctness of Definitions.

David Hitchcock

Published in: J. Philos. Log. (2024)

Keyphrases

mathematical theory
formal model
formal models
theoretical framework
mathematical foundations
theoretical basis
formal methods
database
data sets
information retrieval
learning algorithm
feature selection
database systems
learning environment
computational model
general theory