Télécharger le livre :  Logic in Question
This contributed volume collects papers related to the Logic in Question workshop, which has taken place annually at Sorbonne University in Paris since 2011. Each year, the workshop brings together historians, philosophers, mathematicians, linguists, and computer...

Editeur : Birkhäuser
Parution : 2023-01-11
Collection : Studies in Universal Logic PDF, ePub

179,34

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  The Lvov-Warsaw School. Past and Present
This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic and mathematics, by the best specialists from all over the world. The papers range from historical considerations to new philosophical,...

Editeur : Birkhäuser
Parution : 2018-06-12
Collection : Studies in Universal Logic PDF

137,14

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  The Life and Work of Leon Henkin
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

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Kripke's Worlds
Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible world's model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and...

Editeur : Birkhäuser
Parution : 2013-11-20
Collection : Studies in Universal Logic ePub

89,66

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Around and Beyond the Square of Opposition
The theory of oppositions based on Aristotelian foundations of logic has been pictured in a striking square diagram which can be understood and applied in many different ways having repercussions in various fields: epistemology, linguistics, mathematics, sociology,...

Editeur : Birkhäuser
Parution : 2012-05-10
Collection : Studies in Universal Logic ePub

52,74

Téléchargement immédiat
Dès validation de votre commande