World Catalog : Science : Math : Logic and Foundations

Logic and Foundations

Home

Farm worker killed by hay baler

A 61-year-old man dies after becoming trapped in a hay baler on a farm where he was working in Staffordshire.

news.bbc.co.uk

Winehouse pulls out of Paris gig

Singer Amy Winehouse recovers at home after pulling out of a concert hours before she was due on stage.

news.bbc.co.uk

US surprise and praise for Palin

Democratic rivals say John McCain's running mate Sarah Palin is "admirable" but concerns remain of inexperience.

news.bbc.co.uk

Impulse control

Links between childhood trauma and violence

news.bbc.co.uk

New pressure over faith schools

The government is facing fresh pressure to stop faith schools selecting pupils and staff on the basis of their religion.

news.bbc.co.uk

Rose-tinted view

Why it's good that things aren't like they used to be

news.bbc.co.uk

Alliance role in stand-off talks

Alliance leader David Ford says his party would attend talks to resolve the dispute over the devolution of justice powers.

news.bbc.co.uk

Wasilla to VP?

Even Alaska surprised by choice of Sarah Palin

news.bbc.co.uk

Zenit overcome Man Utd to claim Super Cup

Pavel Pogrebnyak and Danny score as Zenit St Petersburg beat Man Utd to win the European Super Cup in Monaco.

news.bbc.co.uk

Gloomy August wettest since 1992

Heavy rain and lack of sunshine combine to make it one of the worst Augusts on record in Wales, official records show.

news.bbc.co.uk

Gustav strengthens off west Cuba

Hurricane Gustav has strengthened into a category two storm as it approaches western Cuba, US forecasters say.

news.bbc.co.uk

Dozens injured in Sri Lanka blast

A large explosion has struck Sri Lanka's capital, Colombo, with the military saying that dozens have been injured.

news.bbc.co.uk

Darling warns of economic crisis

Chancellor Alistair Darling says the UK is facing the worst economic crisis in 60 years and warns of a "profound" downturn.

news.bbc.co.uk

International competitors battle to be the fastest haggis eater

Competitors from New Zealand, Australia, the US and Scotland compete to become a haggis eating champ.

news.bbc.co.uk

Pietersen eyes series whitewash

Kevin Pietersen says England are intent on completing a 5-0 series whitewash after thrashing South Africa at The Oval.

news.bbc.co.uk

Woman dies in fall from mountain

A woman dies and her husband and daughter are seriously injured in a 200ft fall from a mountain ridge in the Lake District.

news.bbc.co.uk

What do you want to talk about?

What do you want the world to talk about?

news.bbc.co.uk

Two bodies found at arson house

Two bodies are recovered from the burnt-out home of a millionaire and his family in Shropshire.

news.bbc.co.uk

Arctic melt

North Pole kayak trip to highlight global warming

news.bbc.co.uk

Dementieva halts Keothavong run in New York

British number one Anne Keothavong gives Olympic champion Elena Dementieva a scare before bowing out 6-3 6-4 in the third round of the US Open.

news.bbc.co.uk

Front line

The RAF flies the flag in Iraq and Afghanistan

news.bbc.co.uk

McRae tribute convoy to cross UK

Hundreds of rally cars will join a convoy from Lanark to Banbury in tribute to racing star Colin McRae, who died last year.

news.bbc.co.uk

Capsize in India floods kills 20

At least 20 people in Bihar, India, die when their boat capsizes, amid floods that have stranded hundreds of thousands.

news.bbc.co.uk

Cutlass time

Five classic map symbols you won't get on your satnav

news.bbc.co.uk

'Man drought' - some 100,000 young men have left Australia

Census data reveals that some 100,000 young men have left Australia, leading to a serious "man-drought" in many areas.

news.bbc.co.uk


 World Catalog > Science > Math > Logic and Foundations

 Last searches:pet sitterก้านกล้วยdmieditingparis hiltonkieswijzer

World Catalog > Science > Math > Logic and Foundations

  • Directories (11)
  • Education (18)
  • Institutions (62)
  • Meetings (148)
  • Online Discussion Groups (3)
  • Organizations (14)
  • People (125)
  • Publications (26)
  • Software (28)
  • Category Theory (40)
  • Computability (11)
  • Computational Logic (32)
  • Foundations (8)
  • Game Semantics (13)
  • History (101)
  • Knowledge Representation and Planning (2)
  • Model Theory (4)
  • Nonstandard Logics and Extensions (127)
  • Philosophy of Logic (109)
  • Proof Theory (14)
  • Set Theory (66)
  • Logic and Foundations:

    Classical Logic

    Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.

    http://plato.stanford.edu/entries/logic-classical/

    Graand

    Free Classified Ads Portal

    www.graand.com

    Computability Logic Homepage

    Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.

    http://www.cis.upenn.edu/~giorgi/cl.html

    Introduction to Mathematical Logic

    Hyper-textbook for students by V. Detlovs and K. Podnieks.

    http://www.ltn.lv/~podnieks/mlog/ml.htm

    Mathematical Logic and Foundations

    From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.

    http://www.math.niu.edu/~rusin/known-math/index/03-XX.html

    Mathematical Logic around the World

    A rich collection of links to logic-related websites.

    http://www.uni-bonn.de/logic/world.html

    Mind Versus Goedel by Damjan Bojadziev

    Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.

    http://nl.ijs.si/~damjan/g-m-c.html

    Woman dies in fall from mountain

    A woman dies and her husband and daughter are seriously injured in a 200ft fall from a mountain ridge in the Lake District.

    news.bbc.co.uk

    Darling warns of economic crisis

    Chancellor Alistair Darling says the UK is facing the worst economic crisis in 60 years and warns of a "profound" downturn.

    news.bbc.co.uk

    Wasilla to VP?

    Even Alaska surprised by choice of Sarah Palin

    news.bbc.co.uk

    McRae tribute convoy to cross UK

    Hundreds of rally cars will join a convoy from Lanark to Banbury in tribute to racing star Colin McRae, who died last year.

    news.bbc.co.uk

    International competitors battle to be the fastest haggis eater

    Competitors from New Zealand, Australia, the US and Scotland compete to become a haggis eating champ.

    news.bbc.co.uk

    Alliance role in stand-off talks

    Alliance leader David Ford says his party would attend talks to resolve the dispute over the devolution of justice powers.

    news.bbc.co.uk

    Impulse control

    Links between childhood trauma and violence

    news.bbc.co.uk

    Dozens injured in Sri Lanka blast

    A large explosion has struck Sri Lanka's capital, Colombo, with the military saying that dozens have been injured.

    news.bbc.co.uk

    'Man drought' - some 100,000 young men have left Australia

    Census data reveals that some 100,000 young men have left Australia, leading to a serious "man-drought" in many areas.

    news.bbc.co.uk

    Two bodies found at arson house

    Two bodies are recovered from the burnt-out home of a millionaire and his family in Shropshire.

    news.bbc.co.uk

    Gustav strengthens off west Cuba

    Hurricane Gustav has strengthened into a category two storm as it approaches western Cuba, US forecasters say.

    news.bbc.co.uk

    Gloomy August wettest since 1992

    Heavy rain and lack of sunshine combine to make it one of the worst Augusts on record in Wales, official records show.

    news.bbc.co.uk

    Pietersen eyes series whitewash

    Kevin Pietersen says England are intent on completing a 5-0 series whitewash after thrashing South Africa at The Oval.

    news.bbc.co.uk

    Arctic melt

    North Pole kayak trip to highlight global warming

    news.bbc.co.uk

    Cutlass time

    Five classic map symbols you won't get on your satnav

    news.bbc.co.uk

    Capsize in India floods kills 20

    At least 20 people in Bihar, India, die when their boat capsizes, amid floods that have stranded hundreds of thousands.

    news.bbc.co.uk

    Winehouse pulls out of Paris gig

    Singer Amy Winehouse recovers at home after pulling out of a concert hours before she was due on stage.

    news.bbc.co.uk

    New pressure over faith schools

    The government is facing fresh pressure to stop faith schools selecting pupils and staff on the basis of their religion.

    news.bbc.co.uk

    Dementieva halts Keothavong run in New York

    British number one Anne Keothavong gives Olympic champion Elena Dementieva a scare before bowing out 6-3 6-4 in the third round of the US Open.

    news.bbc.co.uk

    Zenit overcome Man Utd to claim Super Cup

    Pavel Pogrebnyak and Danny score as Zenit St Petersburg beat Man Utd to win the European Super Cup in Monaco.

    news.bbc.co.uk

    Front line

    The RAF flies the flag in Iraq and Afghanistan

    news.bbc.co.uk

    US surprise and praise for Palin

    Democratic rivals say John McCain's running mate Sarah Palin is "admirable" but concerns remain of inexperience.

    news.bbc.co.uk

    Farm worker killed by hay baler

    A 61-year-old man dies after becoming trapped in a hay baler on a farm where he was working in Staffordshire.

    news.bbc.co.uk

    Rose-tinted view

    Why it's good that things aren't like they used to be

    news.bbc.co.uk

    What do you want to talk about?

    What do you want the world to talk about?

    news.bbc.co.uk

    Surfing | Broadway-Vocalists-Music | Bracelets | ロック-オルタナティヴロック-音楽 | MP3 Latin Music | Art-House | 楽譜・スコア・音楽書-本 | Dolls | GPS Navigation | 環境・エコロジー-社会・政治-本 | Danse-Livres | 宠物及周边 | Freizeit-Haus-Garten-Büche | Wakacje | Latin-Pop-Music | Football Sports | Rap-US-Soul | Baby Toys | マタニティ | Beaux-Art


    Help build the largest human-edited directory on the web
    Submit a Site - Open Directory Project - Become an Editor