A trăi cu psalmii - Living with the Psalms
Dezvoltată în timpul activității sale de predare în întreaga lume, această carte este rodul unei vieți de angajament cu Psalmii...
Axioma alegerii - The Axiom of Choice
Această carte prezintă o privire de ansamblu asupra dezvoltării axiomei alegerii de la introducerea acesteia de către Zermelo la...
Logica de ordin superior și teoria tipurilor - Higher-Order Logic and Type Theory
O expunere a logicii de ordinul doi și superior și a teoriei tipurilor...
Opțiuni logice: O introducere în logica clasică și în logica alternativă - Logical Options: An...
Opțiuni logice prezintă extensiile și...
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...
Un abecedar de analiză infinitezimală - A Primer of Infinistesimal Analysis
Unul dintre cele mai remarcabile evenimente recente din matematică este refondarea, pe...
Continuu, discret și infinitezimal în filosofie și matematică - The Continuous, the Discrete and the...
Această carte explorează și articulează conceptele...
Vremuri grele: Începuturile Marii Depresiuni în Carolina de Nord, 1929-1933 - Hard Times: Beginnings...
Detaliază dislocările economice din Carolina de...
