Factasia Content
Some Logic People and Their Works
A
B
C
D
E
F
G
H
 I
J
K
L
M
N
O
 P
Q
R
S
T
U
W
Z
Other Lists of Logic People
Logic Links from the University of Tuebingen, Germany.
Set Theory by J. Larson at UFL
Computability Theory by Peter Cholak
Who's Who in Formal Methods by Jonathan Bowen
Researchers in Logical Frameworks by Frank Pfenning at CMU