American logic in the 1920s.

Published in: Bull. Symb. Log. (1995)

Keyphrases

classical logic
united states
modal logic
logic programming
automated reasoning
multi valued
data sets
proof theory
digital circuits
computational properties
probabilistic logic
sound and complete axiomatization
asynchronous circuits
hidden markov models
data model
natural language
data mining
neural network