Use coupon code “WINTER20” for a 20% discount on all items! Valid until 30-11-2024

Login / Register

Royal Mail express delivery to UK destinations

Regular sales and promotions

Stock updates every 20 minutes!

Foundations of Logic – Completeness, Incompleteness, Computability

Out of stock

Firm sale: non returnable item

SKU 9781684000005 Categories Philosophy, Products

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 ...

£36.00

Buy new:

Delivery: UK delivery Only. Usually dispatched in 1-2 working days.

Shipping details

Shipping costs: All shipping costs calculated in the cart or during the checkout process.

Standard service (normally 2-3 working days): 48hr Tracked service.

Premium service (next working day): 24hr Tracked service – signature service included.

Royal mail: 24 & 48hr Tracked: Trackable items weighing up to 20kg are tracked to door and are inclusive of text and email with ‘Leave in Safe Place’ options, but are non-signature services. Examples of service expected: Standard 48hr service – if ordered before 3pm on Thursday then expected delivery would be on Saturday. If Premium 24hr service used, then expected delivery would be Friday.

Signature Service: This service is only available for tracked items.

Leave in Safe Place: This option is available at no additional charge for tracked services.

Description
Additional information

Description

Product ID:	9781684000005
Product Form:	Paperback / softback
Country of Manufacture:	GB
Title:	Foundations of Logic – Completeness, Incompleteness, Computability
Authors:	Author: Dag Westerstahl
Page Count:	80
Subjects:	Philosophy: logic, Philosophy: logic
Description:	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.
Imprint Name:	Centre for the Study of Language & Information
Publisher Name:	Centre for the Study of Language & Information
Country of Publication:	GB
Publishing Date:	2024-01-05

Additional information

Weight	650 g
Dimensions	154 × 228 × 27 mm

GoBookshop!
Proudly owned and operated by:

Raythex LTD
17-19 Saint Georges Street
NORWICH
NR3 1AB
Registered No. 15042401

We accept the following payment methods:

More socials coming soon!!!

GoBookshop! – All rights reserved. © 2023

GoBookshop! trademark: UK00003989745