Line art portraits of logicians for the Open Logic Project
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.
.gitignore
LICENSE.md
README.md
antonelli-circle.pdf
antonelli-circle.png
antonelli-line.pdf
antonelli-line.png
barcan-circle.pdf
barcan-circle.png
barcan-line.pdf
barcan-line.png
boole-circle.pdf
boole-circle.png
boole-line.pdf
boole-line.png
brouwer-circle.pdf
brouwer-circle.png
brouwer-line.pdf
brouwer-line.png
cantor-circle.pdf
cantor-circle.png
cantor-line.pdf
cantor-line.png
carnap-circle.pdf
carnap-circle.png
carnap-line.pdf
carnap-line.png
church-circle.pdf
church-circle.png
church-line.pdf
church-line.png
craig-circle.pdf
craig-circle.png
craig-line.pdf
craig-line.png
curry-circle.pdf
curry-circle.png
curry-line.pdf
curry-line.png
dedekind-circle.pdf
dedekind-circle.png
dedekind-line.pdf
dedekind-line.png
frege-circle.pdf
frege-circle.png
frege-line.pdf
frege-line.png
gentzen-circle.pdf
gentzen-circle.png
gentzen-line.pdf
gentzen-line.png
goedel-circle.pdf
goedel-circle.png
goedel-line.pdf
goedel-line.png
heyting-circle.pdf
heyting-circle.png
heyting-line.pdf
heyting-line.png
hilbert-circle.pdf
hilbert-circle.png
hilbert-line.pdf
hilbert-line.png
kleene-circle.pdf
kleene-circle.png
kleene-line.pdf
kleene-line.png
kripke-circle.pdf
kripke-circle.png
kripke-line.pdf
kripke-line.png
lewis-circle.pdf
lewis-circle.png
lewis-line.pdf
lewis-line.png
lovelace-circle.pdf
lovelace-circle.png
lovelace-line.pdf
lovelace-line.png
noether-circle.pdf
noether-circle.png
noether-line.pdf
noether-line.png
peter-circle.pdf
peter-circle.png
peter-line.pdf
peter-line.png
post-circle.pdf
post-circle.png
post-line.pdf
post-line.png
prior-circle.pdf
prior-circle.png
prior-line.pdf
prior-line.png
rasiowa-circle.pdf
rasiowa-circle.png
rasiowa-line.pdf
rasiowa-line.png
robinson-circle.pdf
robinson-circle.png
robinson-line.pdf
robinson-line.png
russell-circle.pdf
russell-circle.png
russell-line.pdf
russell-line.png
skolem-circle.pdf
skolem-circle.png
skolem-line.pdf
skolem-line.png
tarski-circle.pdf
tarski-circle.png
tarski-line.pdf
tarski-line.png
turing-circle.pdf
turing-circle.png
turing-line.pdf
turing-line.png
zermelo-circle.pdf
zermelo-circle.png
zermelo-line.pdf
zermelo-line.png

README.md

portraits

##Line art portraits of logicians for the Open Logic Text

©2016 Matthew Leadbeater

The illustrations are provided in two versions, inside a circle and above a line, and in two formats, PDF and PNG. They all have a transparent background so can be placed over a colored background. The images have no copyright information embedded. They are ©2016 and licensed under a Creative Commons BY-NC license. This means you may use them provided you give credit to Matthew Leadbeater. Use for commercial purposes is not covered by this license and requires further permission.

The illustrations are available in the original Adobe Illustrator format.

To include these illustrations in OLP-derived work, clone this repository into assests/portraits, 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/portraits.git

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

You can then use, e.g, \includegraphics{turing-circle.pdf} to insert one of the graphics into your document.

Creative Commons License

Open Logic Portraits by Matthew Leadbeater is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License. Permissions beyond the scope of this license may be available at http://www.mattleadbeater.com/.