Relation Algebras
djvu
- Author: Roger Duncan Maddux
- Language: English
- Year: 2006
Proof Theory
pdf
- Author: Gaisi Takeuti
- Language: English
- Year: 1975
- Author: Bart Jacobs
- Language: English
- Year: 1998
- Author: Abraham A. Fraenkel Yehoshua Bar-Hillel Azriel Levy
- Language: English
- Year: 1973
- Author: H. J. Keisler
- Language: English
- Year: 1971
- Author: Luis E. Sanchis
- Language: English
- Year: 1992
- Author: Yu.L.Ershov S.S.Goncharov A.Nerode J.B.Remmel
- Language: English
- Year: 1998
- Author: Jon Barwise (ed.)
- Language: English
- Year: 1989
- Author: Y. N. Moschovakis
- Language: English
- Year: 1987