Login / Signup
Errata: "Studies in the axiomatic foundations of Boolean algebra. I.".
Czeslaw Lejewski
Published in:
Notre Dame J. Formal Log. (1960)
Keyphrases
</>
boolean algebra
set theory
constraint query languages
theorem prover
cardinality constraints
artificial intelligence
upper approximation
knowledge representation
expressive power
decision theory