Rýchle dodanie
Po celej SR
EAN: 9789814730990
This is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on GOdel's famous incompleteness theorem, along with related results.The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a "fein" chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a "decision machine." Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The concluding five chapters are on the beautiful subject of combinatory logic, which is not
Máte radi knihy? Ak áno, potom ste na správnom webe! Na našom webe ponúkame rozsiahlu ponuku kníh z celého sveta. Naša knižnica je plná najnovších bestsellerov, kultových diel a literárnych klenotov. U nás nájdete knihy pre deti, dospelých, ale aj pre náročného čitateľa. Naša ponuka zahŕňa množstvo žánrov, vrátane detektívok, romantiky, sci-fi, histórie, cestopisov a mnoho ďalších. Zaručujeme vám, že u nás si každý nájde knihu podľa svojho vkusu. Naši zákazníci si môžu vychutnať pohodlie nákupu online a podporiť tak ochranu životného prostredia. Súčasne vám garantujeme najlepšie ceny a rýchle dodanie priamo k vám domov. Buďte súčasťou našej komunity knihomoľov a objavte s nami nové svety a príbehy. Navštívte našu stránku ešte dnes a získajte niečo, čo vám zmení celý svet!
Po celej SR
100% zabezpečenie platby
Jednoduchá reklamácia tovaru
Podpora na telefóne a emaile