Models, Algebras and Proofs: Proceedings Latin-American...

Main
Mathematics
Models, Algebras and Proofs:...

Models, Algebras and Proofs: Proceedings Latin-American Symposium on Mathematical Logic,1996, Bogota, Colombia, Vol. 203

Name: Models, Algebras and Proofs: Proceedings Latin-American Symposium on Mathematical Logic,1996, Bogota, Colombia, Vol. 203
ISBN: 9780824719708

Caicedo X.

0 / 0

0 comments

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

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

カテゴリー:

Mathematics

年:

1998

言語:

english

ページ:

447

ISBN 10:

0824719700

ISBN 13:

9780824719708