Wiki Binder
Sign in
Create an account
Catalogue
People
proof theory
Georg Kreisel
Uncommon
U
People
Georg Kreisel
—
monthly views
0
copies owned
—
player watchlists
People
Georg Kreisel
Austrian logician (1923–2015)
uncommon · Q951409
Part of proof theory · 14 cards
Source on Wikidata
Related cards
· proof theory
See all 14
Rare
R
People
T. M. Scanlon
—
monthly views
0
copies owned
—
player watchlists
Rare
R
People
Gerhard Gentzen
—
monthly views
0
copies owned
—
player watchlists
Rare
R
People
Jean-Yves Girard
—
monthly views
0
copies owned
—
player watchlists
Rare
R
People
Jacques Herbrand
—
monthly views
0
copies owned
—
player watchlists
Uncommon
U
People
Paul Lorenzen
—
monthly views
0
copies owned
—
player watchlists
Uncommon
U
People
William Alvin Howard
—
monthly views
0
copies owned
—
player watchlists
Related cards
· mathematical logic
See all 175
Epic
E
People
Bertrand Russell
—
monthly views
0
copies owned
—
player watchlists
Epic
E
People
David Hilbert
—
monthly views
0
copies owned
—
player watchlists
Epic
E
People
George Boole
—
monthly views
0
copies owned
—
player watchlists
Epic
E
People
Georg Cantor
—
monthly views
0
copies owned
—
player watchlists
Epic
E
People
Andrey Kolmogorov
—
monthly views
0
copies owned
—
player watchlists
Epic
E
People
Alonzo Church
—
monthly views
0
copies owned
—
player watchlists
Related cards
· logic
See all 200
Legendary
L
People
Alan Turing
—
monthly views
0
copies owned
—
player watchlists
Epic
E
People
Bertrand Russell
—
monthly views
0
copies owned
—
player watchlists
Legendary
L
People
Avicenna
—
monthly views
0
copies owned
—
player watchlists
Legendary
L
People
Galen
—
monthly views
0
copies owned
—
player watchlists
Epic
E
People
Alfred North Whitehead
—
monthly views
0
copies owned
—
player watchlists
Epic
E
People
Charles Sanders Peirce
—
monthly views
0
copies owned
—
player watchlists
Related facets
proof theory
14
mathematical logic
175
logic
200
Salzburg
289
mathematics
3,760
Fellow of the Royal Society
5,768