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

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA9.A1
 
Call Number Status Get It
QA9.A1 Available