Some logic People and Their Works

..A..

Peter Aczel
Rob Arthan

..B..

Roland Backhouse
Bruno Barras
Jon Barwise
Michael Beeson
Errett Bishop
George Boolos
Nick Bostron
Raymond Bradley
Douglas Bridges
Martin Bunder

..C..

Rudolf Carnap
Alonzo Church
John Corcoran
J.N. Crossley
Haskell B. Curry

..D..

Patrick Dehornoy

..E..

..F..

Solomon Feferman
Thomas Forster
Bert G. J. Frederiks
Gottlob Frege
Harvey Friedman

..G..

Michael Genesereth
Peter Gibbins
Kurt Gödel
Joseph Goguen

..H..

Susan Haack
Keith Hanna
John Harrison
William S. Hatcher
Jean van Heijenoort
Vincent F. Hendricks
J. Roger Hindley
Wilfrid Hodges
Douglas R. Hofstadter
Randall Holmes
Geoffrey Hunter
Martin Hyland

..I..

..J..

P.T. Johnstone

..K..

Saul A. Kripke
Kenneth Kunen

..L..

..M..

Adrian Matthias
Frederik Archibold Muller

..N..

..O..

..P..

Lawrence C. Paulson
Charles Peirce
Lorenzo Peņa
Wolfram Pohlers
Emil Post
Joëlle Proust

..Q..

Willard Van Orman Quine

..R..

Hartley Rogers
Bertrand Russell

..S..

Alex Sakharov
Moses Schönfinkel
Dana Scott
Stewart Shapiro
Stephen G. Simpson
Raymond Smullyan
Robert M. Solovay
Michael Spivey
Peter Suber

..T..

William W Tait
Alfred Tarski
Paul Taylor
Alan Turing

..U..

..V..

..W..

Paul Wong
W. Hugh Woodin
Crispin Wright

..Y..

..Z..

Richard Zach
Edward N. Zalta
Ernst Zermelo


UP HOME © RBJ
created 1998-12-08
modified 2015-06-28