The Philosopher

Peter B. Andrews

The face

The background

Nationality:
American
Schools:
Q0 (mathematical logic), TPS (Theorem Proving System)
Branchs:
Mathematical logic, Type theory
Period:
20th and 21st century

The synopsis

The works