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...

De Mathematicae atque Philosophiae Elegantia. Notas Festivas para Abel Lassalle Casanave

Táto rozsiahla zbierka esejí na počesť Abela...

Zvyšovanie úrovne. Dobré riadenie a efektívne plánovanie - Levelling Up. Good Governance and...

Je európska správa vecí verejných vhodná pre daný...

Logika dôkazov a zdôvodnení - Logics of Proofs and Justifications

Logiky zdôvodnenia úzko súvisia s modálnymi logikami a možno ich považovať za zdokonalenie...

Doménovo špecifické jazyky matematiky - Domain-Specific Languages of Mathematics

Hlavnou myšlienkou tejto knihy je povzbudiť čitateľov, aby sa...

Svet a logika - World and Logic

Aký je vzťah medzi svetom a logikou, medzi intuíciou a jazykom, medzi predmetmi a ich kvantitatívnym určením? Racionalisti na jednej strane...

Labyrint nekonečna alebo hádanka existencie - The Labyrinth of Infinity or the Enigma of...

V dnešnej dobe je takmer nepochybné, že galopujúci...

Princpios de Teoria dos Conjuntos

Axiómy teórie množín sú prezentované priamym a stručným spôsobom.ZFC množiny a základný materiál o ordináloch a...

Aristotelova sylogistická základná logika. Jeho model s jeho dôkazmi správnosti a úplnosti -...

Aristotelova sylogistická základná logika je...

Teória svedkov: Poznámky k λ-kalkulu a logike - Witness Theory: Notes on λ-calculus and...

Táto kniha sa zaoberá matematickou analýzou koncepcie...

Kings College Pubn

Doterajšie vydané knihy vydavateľstva Kings College Pubn: