Manzano, Maria.
Extensions of First Order Logic - Cambridge Cambridge University Press 1996 - 388p - Cambridge Tracts in Theoretical Computer Science, V.19 .
0 521 35435 8
Logic
510.6 MAN
Extensions of First Order Logic - Cambridge Cambridge University Press 1996 - 388p - Cambridge Tracts in Theoretical Computer Science, V.19 .
0 521 35435 8
Logic
510.6 MAN