1
Published 1987
Springer Berlin Heidelberg
Subjects: ...Mathematical logic...

2
by Baldwin, John T.
Published 2018
Cambridge University Press
Subjects: ...Logic, Symbolic and mathematical...