TY  - BOOK
AU  - Barwise, J
AU  - Fererman, S
TI  - Model theoretic logics / edited by J. Barwise and S. Feferman
N1  - B31 M53
ER  -