- Author: Dov Gabbay Dimitrij Skvortsov Valentin Shehtman
- Language: English
- Year: 2009
- Author: Helena Rasiowa
- Language: English
- Year: 1974
- Author: Anatolii Ivanovic Mal'cev transl. by Benjamin Franklin Wells III
- Language: English
- Year: 1971
- Author: C.T.Chong M.J.Wicks (eds.)
- Language: English
- Year: 1983
- Author: Haskell B. Curry
- Language: English
- Year: 1951
- Author: Yehosha Bar-Hillel
- Language: English
- Year: 1970
- Author: Paris Logic Group
- Language: English
- Year: 1987
- Author: Carol R. Karp
- Language: English
- Year: 1964
- Author: A.Kino J.Myhill R.E.Vesley (eds.)
- Language: English
- Year: 1970
- Author: A. Heyting
- Language: English
- Year: 1971