Login / Signup
On the propositional system A of Vučković and its extension. II.
Boleslaw Sobocinski
Published in:
Notre Dame J. Formal Log. (1964)
Keyphrases
</>
first order logic
propositional logic
databases
artificial intelligence
machine learning