Model-theoretic logics J. Barwise, S. Feferman - New York Springer-Verlag 1985 - XVII, 793 p 25 cm - Perspectives in mathematical logic . Contine bibliografie ISBN: 0387909362 Dewey Class. No.: 511.'8