Mathematical logic

Mathematical logic

Mathematical Logic is a collection of the works of one of the leading figures in 20th-century science. This collection of A. M. Turing's works is intended to include all his mature scientific writing, including a substantial quantity of unpublished material. . . .

Mathematical Logic People (First 20 people) - Page 0

Clive Newstead

Clive Newstead

Mathematician

Vasco Brattka

Vasco Brattka

Mathematician

John C. Mitchell

John C. Mitchell

Engineer

Simon A. Levin

Simon A. Levin

American ecologist

Carles Noguera

Carles Noguera

Mathematician

Vladimir Andreyevich Uspensky

Vladimir Andreyevich Uspensky

Author

Alexander S. Kechris

Alexander S. Kechris

Logician

Saharon Shelah

Saharon Shelah

Israeli mathematician

Cristina Sernadas

Cristina Sernadas

Researcher

Cameron Eric Freer

Cameron Eric Freer

Mathematician

Michael Fourman

Michael Fourman

Computer scientist

Itay Kaplan

Itay Kaplan

Mathematician

Ulrich Kohlenbach

Ulrich Kohlenbach

German professor of mathematics

Theodore Slaman

Theodore Slaman

Professor of mathematics

joel david hamkins

joel david hamkins

American mathematician

Venanzio Capretta

Venanzio Capretta

Researcher

Ilijas Farah

Ilijas Farah

Canadian mathematician

Hans Halvorson

Hans Halvorson

Philosopher

Susanne Ditlevsen

Susanne Ditlevsen

Danish mathematical statistician

Shai Ben-David

Shai Ben-David

Computer scientist