Paperback. A comprehensive introduction to logics central concepts. This book provides a concise but detailed account of modern logic's three cornerstones: the completeness of first-order logic, Goedel'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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

Bestandsnummer des Verk�ufers 9781684000005

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Foundations of Logic Completeness, Incompleteness, Computability (Paperback)
Verlag: Centre for the Study of Language & Information, Stanford
Ver�ffentlichungsdatum: 2024
Sprache: Englisch
ISBN-10: 1684000009
ISBN-13: 9781684000005
Bindung: Paperback
Zustand: new

�ber diesen Titel

Inhaltsangabe

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.

�ber die Autorin bzw. den Autor

Dag Westerst�hl is professor emeritus of theoretical philosophy and logic at Stockholm University. His recent research is in the area of generalized quantifiers, formal semantics, and the philosophy of logic.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

The Nile Group Pty Ltd
42 Apex Drive, Truganina, VIC, 3029, Australia

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Versandbedingungen

Please note that titles are dispatched from our UK and NZ warehouse. Delivery times specified in shipping terms. Orders ship within 2 business days. Delivery to your door then takes 8-15 days.