The Gallery

Mathematical logic

Gerald Sacks

J. Barkley Rosser

Raphael M. Robinson

Frank Plumpton Ramsey

Dag Prawitz

Giuseppe Peano

Christine Paulin-Mohring

Solomon Passy

Jeff Paris

Piergiorgio Odifreddi

Edward Nelson

Sara Negri

Grigori Mints

Yuri Matiyasevich

Saunders Mac Lane

Jan Łukasiewicz

Leopold Löwenheim

Martin Löb

Adolf Lindenbaum

Georg Kreisel

Stephen Cole Kleene

Howard Jerome Keisler

Ronald Jensen

David Hilbert

1 2 3 4