Models, algebras, and proofs
Éditeur :
Taylor & Francis Inc
ISBN :
9780824719708
Date de publication :
5 nov. 1998
Dimensions :
28,0 x 21,0 cm
Poids :
816 g
Langue :
Anglais
Pays d'origine :
USA
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."