Completeness, compactness, and undecidability : an introduction to mathematical logic /

著者: Manaster, Alfred B.
出版事項 1975

Worlds, times, and selves /

著者: Prior, A. N.
出版事項 1977

The logic of plurality /

著者: Altham, J. E. J.
出版事項 1971