THE BIG SALE IS ON! SHOW ME MORE

Close Notification

Your cart does not contain any items

Foundations of Logic – Completeness, Incompleteness, Computability by Dag Westerståhl at Abbey's Bookshop,
Foundations of Logic – Completeness, Incompleteness, Computability
— —
Dag Westerståhl

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

See Also

Foundations of Logic – Completeness, Incompleteness, Computability

Introduction to Logic

Irving M. Copi

Hardback

$357 

Not in-store but you can order this

ADD +
Foundations of Logic – Completeness, Incompleteness, Computability

Computability and Logic

George S. Boolos

Paperback

$57.95 

Not in-store but you can order this

ADD +
Foundations of Logic – Completeness, Incompleteness, Computability

Tractatus Logico-Philosophicus

The New Translation

Ludwig Wittgenstein

Hardback

$32.99 

In Stock 😊

ADD +
Foundations of Logic – Completeness, Incompleteness, Computability

La Nuit de Geths�mani

L�on Chestov

Paperback

$21.95  $19.79

Not in-store but you can order this

ADD +
Foundations of Logic – Completeness, Incompleteness, Computability

Handbook of Epistemic Logic

Hans Van Ditmarsch

Paperback

$58.95 

Not in-store but you can order this

ADD +
Foundations of Logic – Completeness, Incompleteness, Computability

The Cambridge Companion to Plato...

David Ebrey

Paperback

$50.95 

In Stock 😊

ADD +