Xavier Caicedo & Carlos H. Montenegro 
Models, Algebras, and Proofs [EPUB ebook] 

Ajutor

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.

€231.79
Metode de plata
Cumpărați această carte electronică și primiți încă 1 GRATUIT!
Limba Engleză ● Format EPUB ● Pagini 470 ● ISBN 9781000673029 ● Editor Xavier Caicedo & Carlos H. Montenegro ● Editura CRC Press ● Publicat 2021 ● Descărcabil 3 ori ● Valută EUR ● ID 7735330 ● Protecție împotriva copiilor Adobe DRM
Necesită un cititor de ebook capabil de DRM

Mai multe cărți electronice de la același autor (i) / Editor

49.025 Ebooks din această categorie