Digital images used as illustrations in the Open Logic Project
TeX Shell Makefile
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
barcan-marcus-ruth
behmann-heinrich
bernays-paul
cantor-georg
carnap-rudolf
church-alonzo
curry-haskell
dedekind-richard
fitch-frederic
frege-gottlob
gentzen-gerhard Add photos for current biographies with credits Mar 13, 2016
goedel-kurt
henkin-leon
herbrand-jacques
heyting-arendt
hilbert-david
huntington-edward
kalmar-laszlo
kleene-stephen
langford-cooper
lewis-david
lindenbaum-alfred
loeb-martin
loewenheim-leopold
lukasiewicz-jan
montague-richard add Carnap, Herbrand, Kalmar, Kleene, Montague, Quine Aug 1, 2016
mostowski-andrzej
noether-emmy
peter-rozsa
post-emil
prezburger-mojzesz
quine-van
rasiowa-helena
robinson-julia
rosser-john-barkley
russell-bertrand
schoenfinkel-moses
sikorski-roman
skolem-thoralf
tarski-alfred
turing-alan
von-neumann-john
wang-hao
zermelo-ernst
.gitignore
Makefile
README.md
makereadme
photos.tex

README.md

photos

Digital images of portraits of logicians used as illustrations in the Open Logic Project.

The copyright situation of the images provided in this repository varies by image. Some are in the public domain. Some are licensed under a Creative Commons license. Some are under copyright protection. The Open Logic Project has obtained permission from the sources and/or copyright holders, as applicable, of the images included here, to distribute them for the sole purpose of including them in non-commercial teaching materials derived from the Open Logic Project text. If you use these images in works derived from the Open Logic Project you must include the full attribution text, provided in the corresponding -credits.tex file, in the work, either near the images themselves or in a separate Photo Credits section. Permission from the sources and/or copyright holders are required for any other use, including commercial use of works derived from the Open Logic Project.

To include these photos, clone this repository into assests/photos, i.e., navigate to the assets subdirectory and clone this repository (or your fork of it) there.

$ cd OpenLogic/assets
$ git clone https://github.com/OpenLogicProject/photos.git

(or git@github.com:OpenLogicProject/photos.git if you use SSH of course).