1
by Barwise, Jon
Published 1968
Springer

3
by Blaser, Albrecht
Published 1988
Springer