Computability and logic /
This book is intended for the student in philosophy or pure or applied mathematics who has mastered the material ordinarily covered in a first course in logic and who wishes to advance his or her acquaintance with the subject. The aim of the book is to present the principal fundamental theoretical r...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Cambridge ; New York :
Cambridge University Press,
1989
Cambridge ; New York : 1989, (1992 printing) Cambridge [England] ; New York : 1989 Cambridge [England] ; New York : 1989 Cambridge ; New York : 1989 |
| Edition: | 3rd ed |
| Subjects: |
| Summary: | This book is intended for the student in philosophy or pure or applied mathematics who has mastered the material ordinarily covered in a first course in logic and who wishes to advance his or her acquaintance with the subject. The aim of the book is to present the principal fundamental theoretical results about logic, and to cover certain other metalogical results whose proofs are not easily obtainable elsewhere. We have tried to make the exposition as readable as was compatible with the presentation of complete proofs, to use the most elegant proofs we knew of, to employ standard notation, and to reduce hair (as it is technically known) |
|---|---|
| Item Description: | This WorldCat-derived record is shareable under Open Data Commons ODC-BY, with attribution to OCLC |
| Physical Description: | x, 304 p. : ill. ; 24 cm x, 304 p. ; ill. ; 24 cm x, 304 pages : illustrations ; 24 cm |
| Bibliography: | Includes bibliographical references and index Includes bibliographical references |
| ISBN: | 052138026X 0521389232 (pbk.) 0521389232 9780521380263 9780521389235 (pbk.) 9780521389235 |