Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

Models, Algebras, and Proofs (Lecture Notes in Pure and Applied Mathematics) by Xavier Caicedo

Posted By: Free butterfly
Models, Algebras, and Proofs (Lecture Notes in Pure and Applied Mathematics) by Xavier Caicedo

Models, Algebras, and Proofs (Lecture Notes in Pure and Applied Mathematics) by Xavier Caicedo
English | Nov 5, 1998 | ISBN: 0824719700 | 447 Pages | DJVU | 14 MB

"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."