Foundations of logic : completeness, incompleteness, computability / Dag Westerståhl.

Format:

Book

Author/Creator:

Westerståhl, Dag, 1946- author.

Language:

English

Subjects (All):

First-order logic--Textbooks.

First-order logic.

Genre:

Textbooks

Physical Description:

xiv, 451 pages ; 23 cm

Place of Publication:

Stanford, California : CSLI Publications, Center for the Study of Language and Information, [2023]

Summary:

"This book covers completeness of first-order logic, some model theory, Gödel's incompleteness theorems and related results, and a smattering of computability theory. The text is self-contained and provides full proofs of the main facts. Ideally, the reader of this work has already taken at least one introductory logic course; however, everything needed to understand the syntax and semantics of first-order logic is presented herein. Students from philosophy, linguistics, computer science, physics, and other related subjects will find this work useful and enlightening"-- Provided by publisher.

Notes:

Includes bibliographical references.

Other Format:

Online version : Westerståhl, Dag, 1946- Foundations of logic

ISBN:

9781684000005

1684000009

OCLC:

1336892760

Publisher Number:

99995472611