- Author: Angus Macintyre et al
- Language: English
- Year: 1978
- Author: M. Boffa et al
- Language: English
- Year: 1979
- Author: J.B. Paris etc.
- Language: English
- Year: 1986
- Author: Paris Logic Group
- Language: English
- Year: 1987
- Author: William Craig
- Language: English
- Year: 1974
- Author: P. Suppes et al
- Language: English
- Author: Dag Prawitz Brian Skyrms Dag Westerstahl (eds.)
- Language: English
- Year: 1994
- Author: J.J. Cohen
- Language: English
- Year: 1982
- Author: R. 0. Gandy C. M. E. Yates
- Language: English