Studies in the axiomatic foundations of Boolean algebra. I.

Czeslaw Lejewski

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

Keyphrases

boolean algebra
set theory
cardinality constraints
constraint query languages
artificial intelligence
database systems
query language
theorem prover