ISBN: | 0387909362 |
---|---|
题名: | Model-theoretic logics / edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ... [et al.]. |
索书号: | O141.4/B296E |
出版发行项: | New York : Springer-Verlag, c1985. |
载体形态: | xviii, 893 p. ; 25 cm. |
丛编说明: | Perspectives in mathematical logic |
书目附注: | Bibliography: p. [793]-893. |