Related Books

Hajnal Andréka and István Németi on Unity of Science
Language: en
Pages: 517
Authors: Judit Madarász
Categories: Philosophy
Type: BOOK - Published: 2021-05-31 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book features more than 20 papers that celebrate the work of Hajnal Andréka and István Németi. It illustrates an interaction between developing and appl
Universal Algebraic Logic
Language: en
Pages: 337
Authors: Hajnal Andréka
Categories: Mathematics
Type: BOOK - Published: 2022-11-01 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book gives a comprehensive introduction to Universal Algebraic Logic. The three main themes are (i) universal logic and the question of what logic is, (ii)
Relational and Algebraic Methods in Computer Science
Language: en
Pages: 309
Authors: Roland Glück
Categories: Computers
Type: BOOK - Published: 2023-03-07 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2023, which took plac
Foundations of Information and Knowledge Systems
Language: en
Pages: 254
Authors: Ivan Varzinczak
Categories: Mathematics
Type: BOOK - Published: 2022-07-09 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 12th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2022, held in Hels
Logic, Rationality, and Interaction
Language: en
Pages: 460
Authors: Patrick Blackburn
Categories: Mathematics
Type: BOOK - Published: 2019-10-09 - Publisher: Springer Nature

DOWNLOAD EBOOK

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2