|
Nonstandard Logics and Extensions
Do you need Nonstandard Logics and Extensions?
Check it out the following sites about Nonstandard Logics and Extensions, or search Nonstandard Logics and Extensions
» Computability Logic Homepage - Online source on computability logic, - a recently emerged formal theory of computational tasks and resources.
» Infinitary Logic - Article in the Stanford Encyclopaedia of Philosophy by John L. Bell. Infinitary Logic is a branch of formal logic where finitary formulae are replaced by potentially infinitary mathematical entities.
» Logic System Interrelationships - Shows how a number of representative logics fit together. The interrelationships usually given as something of the form: System X is system Y plus the axiom Z. By John Halleck.
» Non Standard Logics - A comprehensive listing of flavours of non-standard logic with brief descriptions and references, compiled by Peter Suber.
» What are Weak Arithmetics - Notes defining the subject. Available in HTML and PS formats.
|
|
| RedTube |
| Redtube is the great video and chat website with lot of beautiful girls online 24h day |
|
Ciaoamigos | | Chatta con belle ragazze in cam su Ciao Amigos Entra a far parte della community piu divertente del web! |
|
Magic-Search |
Search the web easy at Magic-Search.com
Join affiliate program and make money |
|
Work at home
| | Looking for a Work at Home Business? Earn income world wide Simple and fun. |
|
Buy This Box! |
Do you want to Promote your website? Try FindingWeb Keyword Sponsor Box for ONLY $30 a Month! Try also our pay per click advertising!
Sign up Now! |
|
