Logic, Mathematics, and Computer Science Modern Foundations with Practical Applications /

• Κύριος συγγραφέας: Nievergelt, Yves (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: New York, NY : Springer New York : Imprint: Springer, 2015.
• Έκδοση: 2nd ed. 2015.
• Θέματα: Mathematics.; Mathematical logic.; Number theory.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.; Number Theory.

This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. It also serves as an excellent independent study reference and resource for instructors. Adapted from Foundations of Logi...