Completeness, and undecidability: introduction to mathematical logic
151p;
Includes bibliolgraphical references and index
Mathematics Propositional calculus
151p;
Includes bibliolgraphical references and index
Mathematics Propositional calculus