DIRECTAND CONVERSE THEOREMS - Gradshtein, I. S.; Boddington, T. (London Pergamon Press, 1963)
A Translation Of : Pryamayai Obratnaya Teoremy -- Elementry Algebry Logiki
Keywords: Aggregates; Axioms; Logic. Symbolic And Mathematical