Manzano, Maria. ,

Extensions of first order logic / Maria Manzano. - xxii, 388 pages : illustrations ; 26 cm. - Cambridge tracts in theoretical computer science ; v. 19 .

0521019028 9780521019026 0521354358 9780521354356


First-order logic.

QA9 / .M36 1996