Model-Theoretic Logics
โ Barwise, Jon; Feferman, Solomon (eds.)
๐ Library
๐
1985
๐ Springer
๐ English
With contributions by numerous experts