
Formal Methods for Nonmonotonic and Related Logics
Karl Schlechta
₹6,633

selected papers of the X Latin American symposium on mathematical
by Latin-American Symposium on Mathematical Logic (10th 1996 Bogotá, Colombia)
CRC Press · 1998 · Paperback
Free delivery. Nothing extra to pay at checkout.
Models, Algebras, and Proofs: selected papers of the X Latin American symposium on mathematical is available as a new copy. This paperback edition from CRC Press (1998) has 472 pages. It belongs to the Lecture notes in pure and applied mathematics series.
Its main subjects are Congresses, Symbolic and mathematical Logic and Algebraic logic.