1
Published 2016
Cambridge University Press
Subjects: ...Model theory...

2
by Kleene, Stephen Cole
Published 1980
North-Holland Pub. Co.
Subjects: ...Théorie de la récursivité / Congrès...

3
by Barwise, Jon
Published 2016
Cambridge University Press
Subjects: ...Definability theory (Mathematical logic)...