The Faithfulness of the Interpretation of Arithmetic in the Theory of Constructions.

Nicolas D. Goodman

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

Keyphrases

theoretical framework
computational model
social networks
formal theory
database
data sets
information systems
case study
query language
expressive power
theoretical foundation
information theory
belief functions