Panda bites his third tourist in two years at Beijing zoo

A panda at Beijing zoo bites a man for the third time in two years.

news.bbc.co.uk

Our writers talk back

Some of the previous contributors to the Green Room respond to readers' questions and comments.

news.bbc.co.uk

Zimbabwe troops 'eat elephants'

A Zimbabwean wildlife campaigner tells the BBC that soldiers are being given elephant meat to eat, as the economic crisis deepens.

news.bbc.co.uk

Poetry or science?

Is romantic love just a chemical cocktail?

news.bbc.co.uk

Beagle hunter

On a mission to find the most famous ship of science

news.bbc.co.uk

Animal matters

Scotland's debate over tests on primates

news.bbc.co.uk

Tech fair offers greener vision

Analysts at the Consumer Electronics Show say green credentials of tech products will become critical to success.

news.bbc.co.uk

Everest trip helps critically ill

Blood oxygen levels recorded on a trip by medics to Everest could help the treatment of critically ill patients.

news.bbc.co.uk

Baby Jupiter's huge weight gain

The planet Jupiter must have gained mass fast during its infancy, according to astronomers.

news.bbc.co.uk

Feilden's blog

Ground-breaking new technique in stem cell science

news.bbc.co.uk

First flight of algae-fuelled jet

Continental Airlines is the latest to test fly a jet biofuel, this time with a product derived partially from algae.

news.bbc.co.uk

Mosquitoes make sweet love music

Sexy songs sung by mosquitoes in courtship could be key to curbing the spread of dengue fever, say scientists.

news.bbc.co.uk

Canadians claim South Pole record

A trio of Canadians claim a new record for the fastest trek across Antarctica to the South Pole.

news.bbc.co.uk

Heat may spark world food crisis

Half the world's population could face food crisis by 2100 as soaring temperatures cripple staple crops, scientists warn.

news.bbc.co.uk

China alert over bird flu death

Chinese authorities shut down and clean poultry markets in Hebei province, after the first human death in nearly a year.

news.bbc.co.uk

Earth Watch

Why it is hard to predict sudden environmental crises

news.bbc.co.uk

Eat it or lose it - why centuries of crop diversity are at risk

Centuries of crop diversity are at risk of being lost forever as farmers turn to just a few modern, high yielding varieties.

news.bbc.co.uk

Body repair 'could be ramped up'

A combination of drugs could trick the body into sending its repair mechanisms into overdrive, say scientists.

news.bbc.co.uk

Venomous mammal caught on camera

Rare footage of one of the world's most strange and elusive mammals is captured by scientists.

news.bbc.co.uk

Mummy of female pharaoh uncovered

Egyptologists find remains of a mummy thought to belong to a queen who ruled 4,300 years ago, Egypt's antiquities chief announced.

news.bbc.co.uk

Black holes 'preceded galaxies'

Astronomers believe they have solved a cosmic chicken-and-egg question: what came first - black holes or galaxies?

news.bbc.co.uk

'Wolfman' returns

Explorer Jim McNeill tracks down Arctic wolves

news.bbc.co.uk

A deep-sea fish caught in the Pacific has mirrors for eyes

A deep-sea fish caught in the Pacific has eyes which use mirrors as well as lenses, scientists discover.

news.bbc.co.uk

US vows 'huge' marine protection

The US is to establish "the largest area of protected sea in the world", banning fishing and mining, around its Pacific islands.

news.bbc.co.uk

Holes give edge to new armour

Scientists from the UK Ministry of Defence (MoD) have devised ultra-hard vehicle armour to protect military personnel.

news.bbc.co.uk

 Science > Logic and Foundations

 Last searches:airline cardmapymaritimeclarinphone systemsbeach front rental

Science > Logic and Foundations

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/

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

Graand

Free Classified Ads Portal

www.graand.com

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