Författare
Dag Westerståhl
Dag Westerståhl är en uppskattad författare inom Filosofi och religion med totalt 1 bok tillgängliga på Bokkollen, utgivna hos Centre for the Study of Language & Information.
Bland verken finns Foundations of Logic – Completeness, Incompleteness, Computability, som toppar listan över Dag Westerståhls populäraste böcker. Verken spänner över filosofi & religion och tilltalar läsare som uppskattar genren.
På Bokkollen gör vi det enkelt att navigera i Dag Westerståhls författarskap. Vår databas uppdateras ständigt med nya släpp och format, så oavsett om du söker efter en lättläst pocket för semestern, en lyxig inbunden presentutgåva eller en digital ljudbok för pendlingen, har vi rätt utgåva för dig.
Jämför snabbt och smidigt priser på alla böcker av Dag Westerståhl hos Sveriges ledande bokhandlare – som Adlibris, Bokus och Akademibokhandeln – och hitta alltid det bästa erbjudandet utan att betala för mycket.
Foundations of Logic – Completeness, Incompleteness, Computability
A comprehensive introduction to logic’s central concepts. This book provides a concise but detailed account of modern logic's three cornerstones: the completeness of first-order logic, Gödel's Incompleteness Theorems, and Turing's analysis of computability. In addition to the central text, an appendix explains the required technical terminology and facts. The main ideas behind the three cornerstones are explained in a simple, easy-to-grasp manner, and it is possible to select among the chapters and sections so that the reader becomes familiar with these ideas, even if some technicalities are skipped or postponed. A wealth of exercises accompany a wide selection of materials, including the histories and philosophical implications of the three main premises, making it useful as a textbook for undergraduate or graduate courses focusing on any of the three main themes. The material is rigorous and detailed but keeps the main ideas in sight, and there are numerous excursions into more advanced material for curious readers to explore.
Hela bibliografin
Utforska alla Dag Westerståhls publicerade verk sorterade efter popularitet.
Upptäck liknande författare
Om du gillar Dag Westerståhl kommer du förmodligen att uppskatta även dessa författare inom filosofi & religion.