Primi passi matematici sulla computabilità - A Mathematical Primer on Computability
Il libro fornisce un'introduzione autonoma alla teoria della...
Teoria degli insiemi intuizionistica - Intuitionistic Set Theory
Sebbene la teoria degli insiemi intuizionistica (o costruttiva) TSI abbia ricevuto una certa...
Scienze, circolazioni, rivoluzioni. Festschrift per Philippe Nabonnand - Sciences, Circulations,...
Questa Festschrift è pubblicata in onore di...
Incompletezza nel paese degli insiemi - Incompleteness in the Land of Sets
Il paradosso di Russell si presenta quando si considerano gli insiemi che non...
La Historia Logicae e la sua interpretazione moderna - Historia Logicae and its Modern...
Questo libro inaugura la collana Historia Logicae, che...
Causalità e probabilità nelle scienze - Causality and Probability in the Sciences
L'inferenza causale è forse la forma più importante di ragionamento...
Fondamenti di matematica I - Foundations of Mathematics I
I “Grundlagen der Mathematik” di Hilbert e Bernays sono apparsi in due volumi nel 1934 e nel 1939,...
Manuale di logica deontica e sistemi normativi - Handbook of Deontic Logic and Normative...
L'Handbook of Deontic Logic and Normative Systems...
La delega nella logica talmudica - Delegation in Talmudic Logic
Questo libro studia l'approccio talmudico alla delega. Sviluppiamo modelli logici per i...
