Foundations of Logic – Completeness, Incompleteness, Computability

Dag Westerståhl

$74.95

Paperback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Centre for the Study of Language & Information
22 March 2024

Philosophy: logic

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.

By: Dag Westerståhl
Imprint: Centre for the Study of Language & Information
Country of Publication: United States
Dimensions: Height: 9mm, Width: 6mm,
ISBN: 9781684000005
ISBN 10: 1684000009
Pages: 80
Publication Date: 22 March 2024
Audience: Professional and scholarly , Undergraduate
Format: Paperback
Publisher's Status: Active

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.

Reviews for Foundations of Logic – Completeness, Incompleteness, Computability

"""The most attractively written book at its level that I have newly encountered for some years. . . . The expositional choices are very well-judged, and the balance between motivational chat and worked-through formal details seems just right to me. Many student readers should find this book quite excellent for self-study."" * Logic Matters *"

WIN $150 GIFT VOUCHERS: ALADDIN'S GOLD

Foundations of Logic – Completeness, Incompleteness, Computability

Dag Westerståhl

$74.95

Paperback

Reviews for Foundations of Logic – Completeness, Incompleteness, Computability

See Also

Contact Abbeys

Contact Galaxy

Contact Language

Contact Us

About ABBEY'S