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.
See also
- Logic
- Model theory
- Computability logic
- Game semantics
- Provability logic
- Interpretability logic
- Sequent calculus
- Intuitionistic logic
- Predicate logic
- Theory of institutions
- Table of mathematical symbols
- Infinitary logic
~ Table of Content ~
| ► | Introduction |
| ► | History |
| ► | Topics in mathematical logic |
| ► | Some fundamental results |
| ► | Technical reference |
| ► | References |
| ► | External links |
| ► | See also |
~ What's Hot ~
All About Steve, Legion, District 9, The Book Of Eli, Up In The Air, Twilight, The Princess And The Frog, The Hangover, Alvin And The Chipmunks The Squeakquel, Avatar, The Mummy 4 Rise Of The Aztec, 500 Days Of Summer, The Box, Madagascar 3, New Moon, Dear John, The Blind Side, Sorority Row, The Karate Kid, Percy Jackson The Olympians The Titan S Curse,
~ 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.