Models, Algebras and Proofs: Proceedings Latin-American Symposium on Mathematical Logic,1996, Bogota, Colombia, Vol. 203
Book information
Description
"Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Latin American Symposium on Mathematical Logic held in Bogata, Columbia. Traces new interactions among logic, mathematics, and computer science. Features original research from over 30 well-known experts worldwide."
Similar books
Models, Algebras and Proofs: Proceedings Latin-American Symposium on Mathematical Logic,1996, Bogota, Colombia, Vol. 203
1998 · DJVU
Cosmical Electrodynamics, 2nd Ed. (International Series of Monographs on Physics)
1963 · DJVU
Theory of Knowledge: An Introduction
1976 · DJVU
Introduction to Stochastic Processes with Special Reference to Methods and Applications
DJVU
Dynamical Theory of Crystal Lattices (The International series of monographs on physics)
1998 · DJVU
Communism and China: Ideology in Flux
1970 · DJVU
American Piety: The Nature of Religious Commitment (Patterns of Religious Commitment)
1970 · DJVU
Structural Linguistics (Midway Reprints)
1960 · DJVU