Introduction to Mathematical Logic (Edition 2012)
MetadataShow full item record
Showing items related by title, author, creator and subject.
Podnieks, Karlis (2017-05-24)Hyper-textbook for students in mathematical logic. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. ...
Schumann, Andrew; Smarandache, Florentin (ARP, 2013-09-02)