María Manzano. Extensions of first order logic. Cambridge tracts in theoretical computer science, no. 19. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xxii + 388 pp.
Yde Venema · Journal of Symbolic Logic · 1998
María Manzano. Extensions of first order logic. Cambridge tracts in theoretical computer science, no. 19. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xxii + 388 pp. - Volume 63 Issue 3