Login / Signup
Independent Axiomatizability of Sets of Sentences.
Piotr Wojtylak
Published in:
Ann. Pure Appl. Log. (1989)
Keyphrases
</>
database
information retrieval systems
set theoretic
definite clause