Cover Image

Models, Algebras, and Proofs /

Show other versions (1)

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

Full description

Bibliographic Details
Corporate Author: Taylor & Francis
Other Authors: Caicedo, Xavier, 1944- (Editor), Montenegro, Carlos H., 1958- (Editor)
Format: eBook
Language:English
Published: CRC Press, 2021.
Edition:1st
Subjects:
Logic, Symbolic and mathematical > Congresses.
Logique symbolique et mathématique > Congrès.
MATHEMATICS > General.
MATHEMATICS > Algebra > General.
Logic, Symbolic and mathematical
Electronic books.
Conference papers and proceedings
Online Access:Connect to the full text of this electronic book
Description
Summary: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.
Item Description:Set Theory, Model Theory, Algebraic Logic, Proof Systems.
Physical Description:1 online resource (470 pages)
ISBN:9781000657302
1000657302
9780429332890
0429332890
9781000665161
100066516X
9781000673029
1000673022