PanLinx
íslenska
isl-000
Logique Port-Royal
English
eng-000
Port-Royal Logic
PanLex