A Concise Introduction to Mathematical Logic
Springer | 2006-03-29 | ISBN: 0387302948 | 260 pages | PDF | 2,2 MB
Springer | 2006-03-29 | ISBN: 0387302948 | 260 pages | PDF | 2,2 MB
Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create a logistic foundation for mathematics. It steadily developed during the 20th century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguistics and philosophy.