- Author: Alfred North Whitehead Bertrand Russell
- Language: English
- Year: 1910
- Author: Alfred North Whitehead Bertrand Russell
- Language: English
- Year: 1927
- Author: Alfred North Whitehead Bertrand Russell
- Language: English
- Year: 1927
- Author: Frank Wolter Heinrich Wansing Maarten De Rijke Michael Zakharyaschev
- Language: English
- Year: 2003
- Author: Айзерман М.А. и др.
- Language: Русский
- Year: 1963
- Author: Белнап Н. Стил Т. (BelnapSteel)
- Language: Русский
- Year: 1981
Proof theory
djvu
- Author: Gaisi Takeuti
- Language: English
- Year: 1987
Undecidable theories
djvu
- Author: George Tourlakis
- Language: English
- Year: 2003
- Author: George Tourlakis
- Language: English
- Year: 2003