forked from OpenLogicProject/photos
-
Notifications
You must be signed in to change notification settings - Fork 0
/
photos.tex
98 lines (55 loc) · 1.63 KB
/
photos.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
\documentclass[12pt]{article}
\usepackage{fullpage,graphicx,hyperref}
\def\displayphoto#1{
\begin{minipage}{.5\textwidth}
\includegraphics[width=2in]{#1/#1-small}
\end{minipage}
\begin{minipage}{.5\textwidth}
\texttt{#1.png}\quad\input{#1/#1-credit}
\end{minipage}\bigskip\par}
\begin{document}
\begin{center}
\large\textbf{Open Logic Project\\
Portrait photos in \texttt{assets/photos}}
\end{center}
\displayphoto{barcan-marcus-ruth}
\displayphoto{behmann-heinrich}
\displayphoto{bernays-paul}
\displayphoto{cantor-georg}
\displayphoto{church-alonzo}
\displayphoto{curry-haskell}
\displayphoto{dedekind-richard}
\displayphoto{fitch-frederic}
\displayphoto{frege-gottlob}
\displayphoto{gentzen-gerhard}
\displayphoto{goedel-kurt}
\displayphoto{henkin-leon}
\displayphoto{heyting-arendt}
\displayphoto{hilbert-david}
\displayphoto{huntington-edward}
\displayphoto{kalmar-laszlo}
\displayphoto{langford-cooper}
\displayphoto{lewis-david}
\displayphoto{lindenbaum-alfred}
\displayphoto{loeb-martin}
\displayphoto{loewenheim-leopold}
\displayphoto{lukasiewicz-jan}
\displayphoto{montague-richard}
\displayphoto{mostowski-andrzej}
\displayphoto{noether-emmy}
\displayphoto{peter-rozsa}
\displayphoto{post-emil}
\displayphoto{prezburger-mojzesz}
\displayphoto{rasiowa-helena}
\displayphoto{robinson-julia}
\displayphoto{rosser-john-barkley}
\displayphoto{russell-bertrand}
\displayphoto{schoenfinkel-moses}
\displayphoto{sikorski-roman}
\displayphoto{skolem-thoralf}
\displayphoto{tarski-alfred}
\displayphoto{turing-alan}
\displayphoto{von-neumann-john}
\displayphoto{wang-hao}
\displayphoto{zermelo-ernst}
\end{document}