Storočie od Principiálnej substitúcie, ktorá oslnila Haskella Curryho. Na počesť 80. výročia...

V roku 1922 začal Curry čítať Principia...

O'Kheiluf! Rabínsky boj s protikladom - O'Kheiluf! The Rabbinic Struggle with the...

Dr. Amelia Spivaková v tejto knihe odhaľuje typ tannaitskej...

Matematické základy vypočítateľnosti - A Mathematical Primer on Computability

Kniha poskytuje samostatný úvod do teórie vypočítateľnosti pre...

Intuicionistická teória množín - Intuitionistic Set Theory

Hoci intuicionistickej (alebo konštruktívnej) teórii množín IST venujú matematickí logici určitú...

Vedy, cirkulácie, revolúcie. Festschrift pour Philippe Nabonnand - Sciences, Circulations,...

Tento Festschrift sa vydáva na počesť Philippa...

Neúplnosť v krajine sady - Incompleteness in the Land of Sets

Russellov paradox vzniká, keď uvažujeme o tých množinách, ktoré nepatria samy sebe. Súbor takýchto...

Historia Logicae a jej moderná interpretácia - Historia Logicae and its Modern...

Touto knihou sa otvára knižná séria Historia Logicae, ktorej cieľom...

Kauzalita a pravdepodobnosť vo vedách - Causality and Probability in the Sciences

Kauzálne usudzovanie je azda najdôležitejšou formou uvažovania v...

Základy matematiky I - Foundations of Mathematics I

Hilbertove a Bernaysove „Grundlagen der Mathematik“ vyšli v dvoch zväzkoch v rokoch 1934 a 1939, druhé...

Príručka deontickej logiky a normatívnych systémov - Handbook of Deontic Logic and Normative...

Príručka deontickej logiky a normatívnych systémov...

Kings College Pubn

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