A választás axiómája - The Axiom of Choice

Ez a könyv áttekintést nyújt a választás axiómájának fejlődéséről azóta, hogy Zermelo a múlt század elején bevezette. A könyv...

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

Az Abel Lassalle Casanave tiszteletére írt...

Levelling Up. Jó kormányzás és hatékony tervezés - Levelling Up. Good Governance and Effective...

Alkalmas-e az európai kormányzás a célnak? ...

A bizonyítékok és igazolások logikája - Logics of Proofs and Justifications

Az igazolási logikák szorosan kapcsolódnak a modális logikákhoz, és úgy...

A matematika terület-specifikus nyelvei - Domain-Specific Languages of Mathematics

A könyv fő gondolata az, hogy az olvasókat arra ösztönözze, hogy...

Világ és logika - World and Logic

Mi a kapcsolat a világ és a logika, az intuíció és a nyelv, a tárgyak és azok mennyiségi meghatározottsága között? A racionalisták egyfelől...

A végtelenség labirintusa avagy a létezés rejtélye - The Labyrinth of Infinity or the Enigma of...

Korunkban szinte kétségtelen, hogy a tudomány...

Princpios de Teoria dos Conjuntos

A halmazelmélet axiómáit közvetlen és tömör módon mutatja be.ZFC halmazok és az ordinálisokra és kardinálisokra vonatkozó alapvető...

Arisztotelész szillogisztikus alaplogikája. Az ő modellje a megalapozottság és teljesség...

Arisztotelész szillogisztikus alaplogikája egy...

Tanúelmélet: Jegyzetek a λ-kalkulusról és a logikáról - Witness Theory: Notes on λ-calculus and...

Ez a könyv a klasszikus logikában a formális...

Kings College Pubn

Kings College Pubn kiadó eddig megjelent könyvei: