- Author: Бродский И.Н.
- Language: Русский
- Year: 1973
- Author: Бродский И.Н.
- Language: Русский
- Year: 1973
- Author: Булос Дж. Джеффри Р. (G.S.BoolosR.C.Jeffrey)
- Language: Русский
- Year: 1994
- 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