Mathematical logic
Mathematical logic is a discipline within mathematics, studying formal systems in relation to the way they encode intuitive concepts of proof and computation as part of the foundations of mathematics.
External links
- Mathematical Logic around the world
- Polyvalued logic
- Computability logic A new direction in Mathematical Logic, turning it from a theory of truth into a theory of computability.
~ Table of Content ~
| ► | Introduction |
| ► | History |
| ► | Topics in mathematical logic |
| ► | Some fundamental results |
| ► | Technical reference |
| ► | References |
| ► | External links |
| ► | See also |
~ What's Hot ~
The Hangover, The Mummy 4 Rise Of The Aztec, Lethal Weapon 5, Avatar, The Blind Side, Madagascar 3, New Moon, The Karate Kid, Daybreakers, Hannah Montana The Movie, Alvin And The Chipmunks The Squeakquel, 500 Days Of Summer, The Book Of Eli, All About Steve, Cliente, Clash Of The Titans, The Time Traveler S Wife, Up In The Air, Dear John, The Princess And The Frog,
~ Community ~
| ► | History Forum Come and discuss about History, Civilizations, Historical Events and Figures |
| ► | History Web-Ring A community of sites, blogs and forums dedicated to History. Do not hesitate to submit your site. |
and are licensed under the GNU Free Documentation License.
Lexicon - Privacy Policy - Spiritus-Temporis.com ©2005.