Manzano, Maria. , Extensions of first order logic / Maria Manzano. - xxii, 388 pages : illustrations ; 26 cm. - Cambridge tracts in theoretical computer science ; v. 19 . ISBN: 0521019028 9780521019026 0521354358 9780521354356 Subjects--Topical Terms: First-order logic. LC Class. No.: QA9 / .M36 1996