Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá
edited by Xavier Caicedo, Carlos H. Montenegro
Bok Engelsk 1999 Latin American Symposium on Mathematical Logic
| Utgitt | New York : Marcel Dekker , c1999
|
|---|---|
| Omfang | XIII, 448 s. : fig.
|
| Emner | symbolsk matematisk logikk
|
| ISBN | 0824719700
|
