Errata: "Investigations into the sentential calculus with identity".

Stephen L. Bloom Roman Suszko

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

Keyphrases

identity management
automated deduction
artificial intelligence
digital forensics
real world
data mining
learning algorithm
image sequences
optimal solution
data structure
proof procedure
natural deduction
algebraic structure
provably correct
computer algebra