Title: A mathematical introduction to logic
Subjects: Logique 1er ordre, Logique symbolique et mathématique, Symbolic and mathematical Logic, Mathematics textbooks, Textbooks, Logique séquentielle, Logica, Décidabilité, Logique mathématique, Logic, symbolic and mathematical, programmed instruction, Wiskundige logica, Symbolische logica, Logik, Mathematik, Logic, General, Storage & retrieval, Computer science, Mathematics & statistics -> mathematics -> mathematics general, Mathematics & statistics -> post-calculus -> logic, Professional, career & trade -> computer science -> computer science, Professional, career & trade -> computer science -> database management, Professional, career & trade -> computer science -> system administration, Mathematics & statistics -> developmental math -> beginning & intermediate algebra