Arithmetic as a study of formal systems.

Jonathan P. Seldin

Published in: Notre Dame J. Formal Log. (1975)

Keyphrases

complex systems
study proposes
empirical studies
data sets
databases
website
web services
bayesian networks
expert systems
management system
first order logic
formal languages