Život s žalmy - Living with the Psalms
Tato kniha je výsledkem jeho celoživotní práce s žalmy, kterou rozvinul během své učitelské služby po celém světě. Jako hlasatel a...
Axiom volby - The Axiom of Choice
Tato kniha přináší přehled vývoje axiomu volby od jeho zavedení Zermelem na počátku minulého století. Kniha zkoumá axiom volby ze tří...
Logika vyššího řádu a teorie typů - Higher-Order Logic and Type Theory
Výklad logiky druhého a vyššího řádu a teorie typů. Zahrnuje syntaxi a sémantiku klasické...
Logické možnosti: Úvod do klasické a alternativní logiky - Logical Options: An Introduction to...
Logické možnosti představují rozšíření a...
Intuicionistická teorie množin - Intuitionistic Set Theory
Ačkoli intuicionistické (nebo konstruktivní) teorii množin IST věnují matematičtí logici určitou...
Základy infinistimální analýzy - A Primer of Infinistesimal Analysis
Jednou z nejpozoruhodnějších událostí poslední doby v matematice je znovuobnovení myšlenky...
Spojité, diskrétní a nekonečně malé ve filozofii a matematice - The Continuous, the Discrete and the...
Tato kniha zkoumá a vyjadřuje pojmy spojitého a...
Těžké časy: Počátky velké hospodářské krize v Severní Karolíně, 1929-1933 - Hard Times: Beginnings...
Podrobnosti o hospodářských problémech v Severní...
