Život so žalmami - Living with the Psalms
Táto kniha, ktorú vytvoril počas svojej učiteľskej služby po celom svete, je výsledkom jeho celoživotného štúdia žalmov. Ako...
Axióma voľby - The Axiom of Choice
Táto kniha predstavuje prehľad vývoja Axiómy voľby od jej zavedenia Zermeľom na začiatku minulého storočia. Kniha skúma Axiómu voľby z...
Logika vyššieho rádu a teória typov - Higher-Order Logic and Type Theory
Výklad logiky druhého a vyššieho rádu a teórie typov. Obsahuje syntax a sémantiku klasickej...
Logické možnosti: Úvod do klasickej a alternatívnej logiky - Logical Options: An Introduction to...
Logické možnosti predstavujú rozšírenia a...
Intuicionistická teória množín - Intuitionistic Set Theory
Hoci intuicionistickej (alebo konštruktívnej) teórii množín IST venujú matematickí logici určitú...
Základy nekonečne malej analýzy - A Primer of Infinistesimal Analysis
Jednou z najpozoruhodnejších udalostí v matematike v poslednom čase je opätovné založenie...
Spojité, diskrétne a nekonečne malé vo filozofii a matematike - The Continuous, the Discrete and the...
Táto kniha skúma a vyjadruje pojmy spojitého a...
Ťažké časy: Začiatky veľkej hospodárskej krízy v Severnej Karolíne, 1929 - 1933 - Hard Times:...
Podrobnosti o hospodárskych otrasoch v Severnej...
