Télécharger le livre :  Universal Algebraic Logic
Ajouter à ma liste d'envies
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) duality theories between the world of logics and the world of algebra, and (iii) Tarskian algebraic logic...

Editeur : Birkhäuser
Parution : 2022-11-01
Collection : Studies in Universal Logic
PDF

105,49
Télécharger le livre :  The Life and Work of Leon Henkin
Ajouter à ma liste d'envies
This is a comprehensive book on the life and works of Leon Henkin (1921–2006), an extraordinary scientist and excellent teacher whose writings became influential right from the beginning of his career with his doctoral thesis on “The completeness of formal systems”...

Editeur : Birkhäuser
Parution : 2014-10-23
Collection : Studies in Universal Logic
ePub

52,74