Un secol de când substituția din Principia l-a uimit pe Haskell Curry. În onoarea celei de-a 80-a...
În 1922, Curry a început să citească Principia...
O'Kheiluf! Lupta rabinică cu contrapozitivul - O'Kheiluf! The Rabbinic Struggle with the...
În această carte, Dr. Amelia Spivak descoperă un tip...
Un abecedar matematic asupra calculabilității - A Mathematical Primer on Computability
Cartea oferă o introducere de sine stătătoare în teoria...
Teoria intuiționistă a seturilor - Intuitionistic Set Theory
Deși teoria intuiționistă (sau constructivă) a seturilor IST a beneficiat de o anumită atenție din...
Sciences, Circulations, Rvolutions. Festschrift pentru Philippe Nabonnand - Sciences, Circulations,...
Acest Festschrift este publicat în onoarea lui...
Incompletitudinea în țara seturilor - Incompleteness in the Land of Sets
Paradoxul lui Russell apare atunci când luăm în considerare acele seturi care nu își...
Historia Logicae și interpretarea sa modernă - Historia Logicae and its Modern...
Această carte marchează inaugurarea seriei de cărți Historia...
Cauzalitate și probabilitate în științe - Causality and Probability in the Sciences
Inferența cauzală este probabil cea mai importantă formă de...
Bazele matematicii I - Foundations of Mathematics I
„Grundlagen der Mathematik” de Hilbert și Bernays a apărut în două volume în 1934 și 1939, cu o a doua...
